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

ideal theorymechanical theorem proving in geometryradical ideal

Mathematics Subject Classification ID

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

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)