default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th Calculemus 2005: Newcastle-upon-Tyne, UK
- Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006 - Jacques Carette, William M. Farmer:
Preface. 1-2 - Tobias Schmidt-Samoa:
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. 3-20 - Roy L. McCasland, Alan Bundy, Patrick F. Smith:
Ascertaining Mathematical Theorems. 21-38 - Jörn Ossowski, Christel Baier:
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. 39-56 - David Delahaye, Micaela Mayero:
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. 57-73 - Luís Cruz-Filipe
, Pierre Letouzey:
A Large-Scale Experiment in Executing Extracted Programs. 75-91 - Louise A. Dennis, Mateja Jamnik, Martin Pollet:
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. 93-110 - Ruth Hardy:
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. 111-125 - Martin Pollet, Volker Sorge:
Connecting Logical Representations and Efficient Computations. 127-142 - Geoff W. Hamilton:
Poitín: Distilling Theorems From Conjectures. 143-160 - Aurélie Hurault, Marc Pantel:
Mathematical Service Trading Based on Equational Matching. 161-177
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
