Careful Algebraic Translations of Geometry Theorems.

B. Kutzler

Browse the full ISSAC paper archive.