Geometry Theorem Proving

in the Frame of the Theorema Project

(PhD Thesis)

Judit Robu

(September 2002)

Thesis title page (ps)

RISC-report title page (ps)

Note: You may view the postscript files (ps), but it is better to view the notebook files (nb) using a licensed copy of Mathematica (www.mathematica.com) or the free-software MathReader (www.wolfram.com/mathreader). When using Mathematica or MathReader you also need the style file MyThRepStyle.nb.

Abstract (ps, nb)

Table of contents (ps, nb)

Thesis (ps, nb)

Appendix 1 (ps, nb)

Appendix 2 (ps, nb)

Appendix 3 (ps, nb)

Appendix 4 (ps, nb)

Appendix 5 (ps, nb)

Appendix 6 (ps, nb)

Appendix 7 (ps, nb)

Appendix 8 (ps, nb)