A Geometry Theorem Prover Based on Buchberger's Algorithm.

B. Kutzler, Sabine Stifter

Browse the full CADE paper archive.