Calculemus

Keyphrases

Publications

volume 151, number 1, 2006

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005 Calculemus 151 (1) (2006)

2005

David Delahaye, Micaela Mayero
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. Calculemus (2005)
Ruth Hardy
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. Calculemus (2005)
Louise A. Dennis, Mateja Jamnik, Martin Pollet
On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. Calculemus (2005)
Jacques Carette, William M. Farmer
Preface. Calculemus (2005)
Roy L. McCasland, Alan Bundy, Patrick F. Smith
Ascertaining Mathematical Theorems. Calculemus (2005)
Martin Pollet, Volker Sorge
Connecting Logical Representations and Efficient Computations. Calculemus (2005)
Aurélie Hurault, Marc Pantel
Mathematical Service Trading Based on Equational Matching. Calculemus (2005)
Tobias Schmidt-Samoa
An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. Calculemus (2005)
Jörn Ossowski, Christel Baier
Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Calculemus (2005)
Luís Cruz-Filipe, Pierre Letouzey
A Large-Scale Experiment in Executing Extracted Programs. Calculemus (2005)
Geoff W. Hamilton
Poitín: Distilling Theorems From Conjectures. Calculemus (2005)

1999

volume 23, number 3, 1999

Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999 Calculemus 23 (3) (1999)