A note on the need for radical membership checking in mechanical theorem proving in geometry

DOI10.1007/978-3-319-02297-0_24zbMATH Open1411.68139OpenAlexW163931477MaRDI QIDQ5168482FDOQ5168482

Authors: Eugenio Roanes-Lozano, Eugenio Roanes Macías 

Publication date: 7 July 2014

Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02297-0_24

Recommendations

• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
• Mechanical geometry theorem proving based on Gröbner bases
• scientific article; zbMATH DE number 1145330
• scientific article; zbMATH DE number 1746666
• Elimination procedures for mechanical theorem proving in geometry

zbMATH Keywords

radical idealideal theorymechanical theorem proving in geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Euclidean analytic geometry (51N20) Ideals and multiplicative ideal theory in commutative rings (13A15) Questions of classical algebraic geometry (51N35) Elementary problems in Euclidean geometries (51M04)

Cited In (1)

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

This page was built for publication: A note on the need for radical membership checking in mechanical theorem proving in geometry

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