Judit Robu,
"Automated Proof of Geometry Theorems Involving Order Relation in the Frame of the Theorema Project"
, in Horia F. Pop: Knowledge Engineering: Principles and Techniques, Serie Studia Universitatis "Babes-Bolyai", Series Informatica, Seite(n) 307-315, 2007
Original Titel:
Automated Proof of Geometry Theorems Involving Order Relation in the Frame of the Theorema Project
Sprache des Titels:
Englisch
Original Buchtitel:
Knowledge Engineering: Principles and Techniques
Original Kurzfassung:
Collins' Cylindrical Algebraic Decomposition method (CAD) can be used to prove geometry theorems that involve order relation (that is, the algebraic form consists of polynomial equalities and inequalities). Unfortu- nately only very simple geometric statements can be proved this way, as the method is very time consuming. To overcome the slowness of Collins' CAD method for complicated polynomials we propose a method (section 4) that combines the area method for computing geometric quantities and the CAD method. We present an implementation of this method as part of the Geom- etry Prover in the frame of the Theorema project.
Sprache der Kurzfassung:
Englisch
Serie:
Studia Universitatis "Babes-Bolyai", Series Informatica
Forschungs-