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

DOI10.1007/978-3-540-77356-6_10MaRDI QIDQ5453490zbMATH OpenOpenAlexFDO

Authors Pavel Pech

Publication date 1 April 2008

Published in Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77356-6_10

Mathematics Subject Classification ID

Polyhedra and polytopes; regular figures, division of spaces (51M20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Symbolic computation and algebraic computation (68W30)

Recommendations

• A note on the need for radical membership checking in mechanical theorem proving in geometry
• Mechanical geometry theorem proving based on Gröbner bases
• scientific article; zbMATH DE number 1745036
• Automated detection of interesting properties in regular polygons
• scientific article; zbMATH DE number 4197462

Cites work

• A refutational approach to geometry theorem proving
• An isoperimetric equation for closed space sexagon
• An isoperimetric inequality for closed curves convex in even-dimensional Euclidean spaces
• Ein Satz über räumliche Fünfecke
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy
• scientific article; zbMATH DE number 3117195 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3493474 (Why is no real title available?)
• scientific article; zbMATH DE number 3507537 (Why is no real title available?)
• scientific article; zbMATH DE number 1276823 (Why is no real title available?)
• scientific article; zbMATH DE number 1163428 (Why is no real title available?)
• scientific article; zbMATH DE number 3011213 (Why is no real title available?)
• scientific article; zbMATH DE number 3376320 (Why is no real title available?)
• scientific article; zbMATH DE number 3195875 (Why is no real title available?)
• Pentagons with equal sides and equal angles
• Regular polygons in Euclidean space
• The isoperimetric inequality for a pentagon in E₃ and its generalization in E\sb n space

Cited in

(2)

• Regular spatial hexagons
• A note on the need for radical membership checking in mechanical theorem proving in geometry

This page was built for publication: On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453490)