Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleOn the need of radical ideals in automatic proving: A theorem about regular polygons.
Author(s) Pavel Pech
TypeBook, Chapter in Book, Conference Proceeding
AbstractThe 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.
URL http://link.springer.com/chapter/10.1007%2F978-3-540-77356-6_10
PublisherBerlin: Springer
Translation No
Refereed No