A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry.

Eugenio Roanes-Lozano, Eugenio Roanes-Macas

Browse the full CASC paper archive.