Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus.

Jrgen Zimmer, Louise A. Dennis

Browse the full AISC paper archive.