On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons

Pavel Pech. On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons. In Francisco Botana, Tomás Recio, editors, Automated Deduction in Geometry, 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers. Volume 4869 of Lecture Notes in Computer Science, pages 157-170, Springer, 2006. [doi]

Abstract

Abstract is missing.