Integrating computer algebra into proof planning (1998)

by Manfred Kerber , Michael Kohlhase , Volker Sorge
Venue:Journal of Automated Reasoning
Citations:42 - 27 self