Specification of a Polynomial Prover in THEOREMA by Example Proofs

We provide several ps-files for the various chapters:

Title page (13k)

Abstract (6k)

Table of Contents (187k)

Introduction (539k)

Polynomial Theory (1270k)

The Prototype Prover (654k)

Conclusion (95k)

Table of Contents of Appendix 1 (367k)

Appendix 1: Proof Notebooks (1260k)

Appendix 2: References (56k)