Mathematics Education in the Age of Artificial Intelligence

Part I: Creation of AI milieus to work on mathematics.- Chapter 1. Evolution of automatic proving and reasoning technologies and dynamics in geometry.- Chapter 2. Exploring dynamic geometry through immersive virtual reality.- Chapter 3. Computing power and automated reasoning tools for performing mathematical work.- Chapter 4. Designing atutorial system for learning mathematics.- Chapter 5. Technological innovations in math education to foster creativities in schools in the era of artificial intelligence.- Part II: AI-supported learning of mathematics.- Chapter 6. Classroom Implementation of STEAM Education through IA and other technology.- Chapter 7. Understanding and creating to better understand instrumented reasoning using tools and IA devices.- Chapter 8. Automated exploration in mathematics.- Chapter 9. Artificial intelligence and mathematics working over monuments and other realities.- Chapter 10. Emerging technologies and emerging types of learning in mathematics education.- Part III: Coordinating "usual" paper/pencil techniques and "new" AI-aided educational working spaces.- Chapter 11. Digital technology and its various uses from the instrumental perspective.- Chapter 12. Innovative CAS technology use in mathematics teaching and assessment.- Chapter 13. Learning itineraries in pre-service teachereducation.- Chapter 14. One method of trisecting an angle and its interpretation for teaching purposes using a dynamic geometry and computer algebra system.- Chapter 15. Rearrangement method for area of a circle: complex paths from historical roots to modern visual and dynamic models in discovery-based teaching approach.- Chapter 16. Teaching Programming to Mathematical Scientists.- Conclusion.

Philippe R. Richard is professeur titulaire (full professor) in the Département de didactique at the Université de Montréal. He is a specialist in didactics of mathematics and computer science. He has participated in and has led several major programs concerning didactics, mathematics and computer science. His current research activity extends the recent technological achievements of his research team in artificial intelligence. He is regularly invited to chair thematic groups (CERME, ICME) and to preside over symposia on mathematical work (ETM). He also gives research seminars and participates in the writing of synthesis texts and as editors for books. He has been a visiting professor at the Universitat Autònoma de Barcelona, the Université de Paris and the École Polytechnique de Montréal, and he is currently editor-in-chief of the journal Annales de didactique et de sciences cognitives (IREM, Université de Strasbourg).

M. Pilar Vélez is professor of applied mathematics at the Universidad Antonio de Nebrija (Madrid, Spain). She is member of the research group PID2020-113192GB-I00 (Mathematical Visualization: Foundations, Algorithms and Applications) from the Spanish MICINN.  She has been Rector of Universidad Antonio de Nebrija from 2010 to 2014. She authorship several scientific papers in different indexed journals and many scientific communications and conferences on topics as Real Algebraic Geometry, Computer Algebra, Automatic Reasoning in Dynamic Geometry and Mathematics Education. Now her research interest is focused in automatic reasoning in geometry, as well as algorithms, implementation and its applications to other fields as math education, linkages visualization and augmented reality. She has been organizer of international workshops, special sessions and conferences, as well as program committe (ACA,  CAGDME, ATCM, Maple Conference, Bienal RSME, RAAG). She has been a guest researcher at Università di