Interfacing computer algebra and deduction systems. Armando, A. & Zini, D. In Kerber, M. & Kohlhase, M., editors, Symbolic Computation and Automated Reasoning, pages 49--64. A. K. Peters, Ltd., Natick, MA, USA, 2001.
Interfacing computer algebra and deduction systems [pdf]Paper  bibtex   

Downloads: 0