GEOMETER: A Theorem Prover for Algebraic Geometry.

David Cyrluk, Richard M. Harris, Deepak Kapur

Browse the full CADE paper archive.