Computer Assisted Proofs and Automated Methods in Mathematics Education

Thierry Noah Dana-Picard

DOI: https://doi.org/10.4204/EPTCS.375.2

2023-03-10

Abstract:This survey paper is an expanded version of an invited keynote at the ThEdu'22 workshop, August 2022, in Haifa (Israel). After a short introduction on the developments of CAS, DGS and other useful technologies, we show implications 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, avoiding usage as a black box . This scheme fits well into the so-called 4 C's of 21st Century Education. Communication and Collaboration are emphasized not only between humans, but also between machines, and between man and machine. Specific characteristics of the outputs enhance the need of Critical Thinking. The usage of automated commands for exploration and discovery is discussed, with mention of limitations where they exist. We illustrate the topic with examples from parametric integrals (describing a "cognitive neighborhood" of a mathematical notion), plane geometry, and the study of plane curves (envelopes, isoptic curves). Some of the examples are fully worked out, others are explained and references are given.

History and Overview,Artificial Intelligence,Computers and Society

What problem does this paper attempt to address?

The paper primarily explores the application and impact of computer-aided proof and automated methods in mathematics education. The author first reviews the development history of computer-aided systems (including Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS)) and discusses how these technologies have transformed the way mathematics is taught. Specifically, these systems have shifted mathematics teaching from the traditional definition-theorem-proof model to an exploration-discovery-conjecture-proof model.

The paper also emphasizes the role these technological tools play in 21st-century education, particularly in areas such as communication, collaboration, critical thinking, and creativity. Additionally, the author provides specific examples of mathematical activities, such as the study of parametric integrals, the exploration of plane geometric figures, and the study of plane curves, to demonstrate how these tools help students better understand and explore mathematical concepts.

In summary, the paper aims to address the issue of how to use computer-aided proof and automated methods to improve mathematics education, especially in promoting exploratory learning, enhancing problem-solving skills, and deepening the understanding of mathematical concepts.