Interactive computer programs (ICP) for teaching the indirect method for theorem proving

MaRDI QIDQ2956471zbMATH OpenFDO

Authors Ridvan Iusufov

Publication date 17 January 2017

zbMATH Keywords

indirect methodgeometrical problemsinteractive computer program

Mathematics Subject Classification ID

Mathematics teacher education (97B50) Technological tools, calculators (aspects of mathematics education) (97U70) Computer-assisted instruction, e-learning (aspects of mathematics education) (97U50)

Recommendations

• scientific article; zbMATH DE number 767435
• Computer proofs in plane geometry
• The AProS Project: Strategic Thinking & Computational Logic
• Computer discovered mathematics and applications in education
• Visual theorem proving with the Incredible Proof Machine

This page was built for publication: Interactive computer programs (ICP) for teaching the indirect method for theorem proving

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