Refutational Proofs of Geometry Theorems via Characteristic Set Computation.

Deepak Kapur, H. K. Wan

Browse the full ISSAC paper archive.