Franz Winkler, «Automated Deduction in Geometry»
Springer | ISBN: 3540209271 | 2004 | PDF | 231 pages | 6.64 MB
Automated deduction in geometry has several roots that go back to developments in the 20th century. These fundamental methods in ADG are the quantifier elimination method of Tarski and Collins, the method of characteristic sets of Ritt and Wu, and the Gröbner basis method of Buchberger. Based on these algorithmic techniques various geometric theorem provers have been developed in recent decades. Applications of ADG theorem provers range from computeraided geometric design to robotics and education.