Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
On the application of Buchberger's algorithm to automated geometry theorem proving
Journal of Symbolic Computation
A computational logic handbook
A computational logic handbook
ML for the working programmer
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Handbook of logic in computer science (vol. 2)
Algorithms in invariant theory
Algorithms in invariant theory
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
The Mathematica book (3rd ed.)
The Mathematica book (3rd ed.)
Mathematica: A System for Doing Mathematics by Computer? (Abstract)
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
The control layer in open mechanized reasoning systems: annotations and tactics
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
On the role of OpenMath in interactive mathematical documents
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
A Machine-Checked Implementation of Buchberger's Algorithm
Journal of Automated Reasoning
Gröbner Bases and Systems Theory
Multidimensional Systems and Signal Processing
Algorithms and Proofs Inheritance in the FOC Language
Journal of Automated Reasoning
Evidence Algorithm and Sequent Logical Inference Search
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Algebraic Structures and Dependent Records
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Comparing Mathematical Provers
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
Presenting Mathematical Concepts as an Example for Inference-Rich Domains
NLDB '00 Proceedings of the 5th International Conference on Applications of Natural Language to Information Systems-Revised Papers
Computer algebra handbook
A Refinement of de Bruijn's Formal Language of Mathematics
Journal of Logic, Language and Information
PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Hidden verification for computational mathematics
Journal of Symbolic Computation
Journal of Symbolic Computation
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Computational origami construction of a regular heptagon with automated proof of its correctness
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
The Seventeen Provers of the World
Hi-index | 0.00 |