Algebraic proofs for geometric statements

MaRDI QIDQ5490283zbMATH OpenFDO

Authors Mihai Cipu

Publication date 26 January 2007

Full work available at URL https://eudml.org/doc/127061

zbMATH Keywords

trianglesGröbner bases

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Elementary problems in Euclidean geometries (51M04)

Recommendations

• scientific article; zbMATH DE number 1745036
• scientific article; zbMATH DE number 1263388
• scientific article; zbMATH DE number 41286
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Mechanical geometry theorem proving

Cited in

(8)

• scientific article; zbMATH DE number 1745036 (Why is no real title available?)
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• scientific article; zbMATH DE number 4110159 (Why is no real title available?)
• Geometric theorem proving by integrated logical and algebraic reasoning
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
• Automated reasoning in geometry
• scientific article; zbMATH DE number 5221779 (Why is no real title available?)

This page was built for publication: Algebraic proofs for geometric statements

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