Details:
Title  On the need of radical ideals in automatic proving: A theorem about regular polygons.  Author(s)  Pavel Pech  Type  Book, Chapter in Book, Conference Proceeding  Abstract  The paper deals with a problem of finding natural geometry problem, that is, not specifically built up for the only purpose of having some concrete property, where the hypothesis is not described by a radical ideal. This problem was posed by Chou long ago. Regular polygons in the Euclidean space E d and their existence in spaces of various dimensions are studied by the technique of Gröbner bases. When proving that regular pentagons and heptagons span spaces of even dimension one encounters the case that the ideal describing the hypotheses is not radical. Thus, in order to prove that H⇒T one needs to show that T belongs to the radical of the ideal describing H.  ISBN  9783540773559/pbk 
URL 
http://link.springer.com/chapter/10.1007%2F9783540773566_10 
Language  English  Pages  157170  Publisher  Berlin: Springer  Year  2007  Edition  0  Translation 
No  Refereed 
No 
