Integrating Computer Algebra into Proof Planning

Manfred Kerber, Michael Kohlhase, Volker Sorge. Integrating Computer Algebra into Proof Planning. Journal of Automated Reasoning, 21(3):327-355, 1998.

Abstract

Abstract is missing.