The use of machines to assist in rigorous proof
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Commentary on standard ML
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
CAS/PI: a portable and extensible interface for computer algebra systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Extending the HOL Theorem Prover with a Computer Algebra System to Reason about the Reals
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Artificial Intelligence and Symbolic Mathematical Computation
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Interactive Theorem Proving and Computer Algebra
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
Combining Computer Algebra and Rule Based Reasoning
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Exploring Abstract Algebra in Constructive Type Theory
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Combining Theorem Proving and Symbolic Mathematical Computing
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
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
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Integrating Computer Algebra into Proof Planning
Journal of Automated Reasoning
A Skeptic’s Approach to Combining HOL and Maple
Journal of Automated Reasoning
Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation
Journal of Automated Reasoning
Journal of Automated Reasoning
Algorithms and Proofs Inheritance in the FOC Language
Journal of 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
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Certified Computer Algebra on Top of an Interactive Theorem Prover
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Combining Isabelle and QEPCAD-B in the Prover's Palette
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Interactions Between PVS and Maple in Symbolic Analysis of Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Connecting Logical Representations and Efficient Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hidden verification for computational mathematics
Journal of Symbolic Computation
Dealing with algebraic expressions over a field in Coq using Maple
Journal of Symbolic Computation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Specification and Integration of Theorem Provers and Computer Algebra Systems
Fundamenta Informaticae
| Hi-index | 0.00 |