Automated Reasoning in Geometries Using the Characteristic Set Method and Grbner Basis Method.

Shang-Ching Chou

Browse the full ISSAC paper archive.