Automatisches Beweisen
in der ebenen Geometrie
mittels Gröbnerbasen
Diplomarbeit von Volker Messerschmidt
Betreuer: Prof. Dr. Wolfram Koepf
Universität Kassel
Im Juli 2004
