Integrating Computer Algebra into Proof Planning

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

Abstract

Keywords

• PROOF PLAN
• COMPUTER ALGEBRA
• ALGEBRA SYSTEMS
• ADVOCATE
• MATHEMATICAL
• SOLVING