Analytica – An Experiment in Combining Theorem Proving and Symbolic Computation

• 1 January 1998
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 21  (3) , 295-325
• https://doi.org/10.1023/a:1006079212546

Abstract

Keywords

• THEOREM
• STRUCTURE
• ANALYTICA
• SYMBOLIC
• PROVER
• MATHEMATICA
• NONTRIVIAL
• BERNSTEIN
• LANGUAGE
• DEDUCE