Franz Kafkas Literarisches Umfeld in Prag

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.

Die Erforschung der Adversus-Judaeos-Literatur steckt noch in den Anfängen, so daß ein mit neuen Gesichtspunkten unternommener neuer Vorstoß in dieses weite Arbeitsfeld lohnend erscheint.