Invited Talk Thierry Dana-Picard
Title: Computer assisted proofs and automated methods in Mathematics Education
Thierry Dana-Picard, Jerusalem College of Technology
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.