Specification and Integration of Theorem Provers and Computer Algebra Systems
Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann · Fundamenta Informaticae · 1999
Computer algebra systems (CASs) and automated theorem provers (ATPs) exhibit complementary abilities. CASs focus on efficiently solving domain-specific problems. ATPs are designed to allow for the formalization and solution of wide classes of problem