Geometry Theorem Proving 
in the Frame of the Theorema Project
(Geometrische Beweismethoden im Rahmen des Theorema–Systems)

DISSERTATION

zur Erlangung des akademischen Grades

DOKTOR DER TECHNISCHEN WISSENSCHAFTEN

Angefertigt am Forschungsinstitut für Symbolishe Rechnen (RISC)

Betreuung:

Eingereicht von:

Linz, September 2002

Johannes Kepler Universität
A–4040 Linz  ·  Altenbergerstraße 69  ·  Internet: http://www.uni–linz.ac.at  ·  DVR 0093696