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

zbMATH Open1363.97020MaRDI QIDQ2956471FDOQ2956471

Authors: Ridvan Iusufov 

Publication date: 17 January 2017

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

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)

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)