An invitation to analysing geometric problems by executing pseudodivisions

MaRDI QIDQ3062086zbMATH OpenFDO

Authors Eugenio Roanes Macías, Eugenio Roanes-Lozano

Publication date 3 January 2011

zbMATH Keywords

computer algebraWu's methodmechanical theorem proving in geometrypseudodivision

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4031634
• Automatted geometry theorem proving
• scientific article; zbMATH DE number 41286
• scientific article; zbMATH DE number 4164190
• scientific article; zbMATH DE number 1281390

Cited in

(1)

• Automated Deduction in Geometry

This page was built for publication: An invitation to analysing geometric problems by executing pseudodivisions

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