scientific article; zbMATH DE number 4110159

zbMATH Open0677.68095MaRDI QIDQ3833652FDOQ3833652

Giovanni Gallo, Giuseppa Carrà Ferro

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• Mechanical geometry theorem proving based on Gröbner bases
• scientific article; zbMATH DE number 4197462
• A refutational approach to geometry theorem proving
• A procedure to prove statements in differential geometry
• Algebraic proofs for geometric statements

Mathematics Subject Classification ID

Cited In (4)

• The dimension method in elementary and differential geometry
• Elimination procedures for mechanical theorem proving in geometry
• A procedure to prove statements in differential geometry
• A Geometric Procedure with Prover9

This page was built for publication:

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