Algebraic proofs for geometric statements

zbMATH Open1108.51020MaRDI QIDQ5490283FDOQ5490283

Authors: Mihai Cipu 

Publication date: 26 January 2007

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)