On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
From MaRDI portal
Publication:5453490
DOI10.1007/978-3-540-77356-6_10zbMath1195.68094OpenAlexW1541553334MaRDI QIDQ5453490
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
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
