scientific article; zbMATH DE number 4110159

MaRDI QIDQ3833652zbMATHFDO

Authors Giuseppa Carrà Ferro, Giovanni Gallo

Publication date 1989

Mathematics Subject Classification ID

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

Cited in

(4)

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

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)