Handbook of logic in artificial intelligence and logic programming
Searching techniques for integral tables
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Theorems and algorithms: an interface between Isabelle and Maple
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
An OpenMath 1.0 implementation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Simulation and optimization by quantifier elimination
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Proceedings of the 12th International Conference on Automated Deduction
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
A Deductive Database for Mathematical Formulas
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Integrating Computer Algebra with Proof Planning
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
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
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
A Certified Version of Buchberger's Algorithm
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: 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
Theorem Proving with the Real Numbers
Theorem Proving with the Real Numbers
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
Hidden verification for computational mathematics
Journal of Symbolic Computation
| Hi-index | 0.00 |