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

DOI10.1007/978-3-319-02297-0_24MaRDI QIDQ5168482zbMATH OpenOpenAlexFDO

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

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)

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

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)