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

DOI10.1007/978-3-540-77356-6_10zbMath1195.68094OpenAlexW1541553334MaRDI QIDQ5453490

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

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

Related Items (1)

Regular spatial hexagons

Cites Work

• A refutational approach to geometry theorem proving
• Regular polygons in Euclidean space
• Pentagons with equal sides and equal angles
• Ein Satz über räumliche Fünfecke
• An isoperimetric inequality for closed curves convex in even-dimensional Euclidean spaces
• An isoperimetric equation for closed space sexagon
• The isoperimetric inequality for a pentagon in $E_3 $ and its generalization in $E\sb n $space
• Geometry. I, II. Transl. from the French by M. Cole and S. Levy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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