Invited Talk Thierry Dana-Picard

Title: Computer assisted proofs and automated methods in Mathematics Education

Thierry Dana-Picard, Jerusalem College of Technology

Abstract

After a short survey of the developments of CAS, DGS and other useful technologies, such as internet, we show their implication in Mathematics Education, and in the broader frame of STEAM Education. In particular we discuss the transformation of Mathematics Education into exploration-discovery-conjecture-proof scheme. This scheme fits well into the so-called 4 C’s of 21st Century Education.