An invitation to analysing geometric problems by executing pseudodivisions

zbMATH Open1213.03022MaRDI QIDQ3062086FDOQ3062086

Authors: Eugenio Roanes Macías, Eugenio Roanes-Lozano 

Publication date: 3 January 2011

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

zbMATH Keywords

computer algebraWu's methodmechanical theorem proving in geometrypseudodivision

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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)