Computer discovered mathematics and applications in education

MaRDI QIDQ2973565zbMATH OpenFDO

Authors Sava Grozdev, Deko V. Dekov

Publication date 3 April 2017

Full work available at URL http://im-pmf.weebly.com/uploads/5/8/9/8/58988609/201621fin_grozdev_and_dekov__5-12_.pdf

zbMATH Keywords

Feuerbach pointHaimov triangleKosnita products

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Euclidean geometries (general) and generalizations (51M05) Comprehensive works on geometry education (97G10) Mathematical software, computer programs (educational aspects) (97N80)

Recommendations

• An introduction to automated discovery in geometry through symbolic computation
• scientific article; zbMATH DE number 1684357
• scientific article; zbMATH DE number 2009901
• Computer mathematics
• scientific article; zbMATH DE number 767435

Cited in

(1)

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

Describes a project that uses

Uses Software

• DISCOVERER

This page was built for publication: Computer discovered mathematics and applications in education

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