Geometry theorem proving using Hilbert's Nullstellensatz.

Deepak Kapur

Browse the full ISSAC paper archive.