Extending the HOL Theorem Prover with a Computer Algebra System to Reason about the Reals

Theorems and algorithms: an interface between Isabelle and Maple

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation

Automated theorem proving in support of computer algebra: symbolic definite integration as a case study

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation

Automatic derivation of the irrationality of e

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction

Integrating Computer Algebra into Proof Planning

Journal of Automated Reasoning

Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

Journal of Automated Reasoning

Reasoning Theories

Journal of Automated Reasoning

Formal Methods for Extensions to CAS

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Specification and Integration of Theorem Provers and Computer Algebra Systems

Fundamenta Informaticae