Integrating computer algebra into proof planning (1998)

by M Kerber, M Kohlhase, V Sorge
Venue:Journal of Automated Reasoning