Zimmer, J., & Dennis, L. A. (2002). Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus. In J. Calmet, B. Belaid, O. Capriotti, L. Hencoque, & V. Sorge (Eds.),