Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus

Jürgen Zimmer, Louise A. Dennis

Formal Methods

Research output: Other contribution › peer-review

Original language	Undefined
DOIs	https://doi.org/10.1007/3-540-45470-5_28
Publication status	Published - 2002

Access to Document

10.1007/3-540-45470-5_28

Cite this