This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.

This book highlights the contribution of artificial intelligence for mathematics education. It provides concrete ideas supported by mathematical work obtained through dynamic international collaboration, and discusses the flourishing of new mathematics in the contemporary world from a sustainable development perspective. Over the past thirty years, artificial intelligence has gradually infiltrated all facets of society. When it is deployed in interaction with the human designer or user, AI certainly raises new ethical questions. But as soon as it aims to augment intelligence in a kind of human-machine partnership, it goes to the heart of knowledge development and the very performance of work. The proposed themes and the sections of the book address original issues relating to the creation of AI milieus to work on mathematics, to the AI-supported learning of mathematics and to the coordination of « usual » paper/pencil techniques and « new » AI-aided educational working spaces. The authors of the book and the coordinators of each section are all established specialists in mathematics didactics, mathematics and computer science. In summary, this book is a must-read for everyone interested in the teaching and learning of mathematics, and it concerns the interaction between the human and the machine in both directions. It contains ideas, questions and inspiration that invite to take up the challenge of Artificial Intelligence contributing to Mathematical Human Learning.

In the last thirty years or so, the need to address the challenges of teaching and learning mathematics at university level has become increasingly appreciated by university mathematics teachers, and beyond, by educational institutions around the world. Indeed, mathematics is both a condition and an obstacle to success for students in many educational programmes vital to the 21st century knowledge society, for example in pure and applied mathematics, engineering, natural sciences, technology, economics, finance, management and so on. This breadth of impact of mathematics implies the urgency of developing research in university mathematics education, and of sharing results of this research widely. This book provides a bespoke opportunity for an international audience of researchers in didactics of mathematics, mathematicians and any teacher or researcher with an interest in this area to be informed about state-of-the-art developments and to heed future research agendas. This book emerged from the activities of the research project INDRUM (acronym for International Network for Didactic Research in University Mathematics), which aims to contribute to the development of research in didactics of mathematics at all levels of tertiary education, with a particular concern for the development of early-career researchers in the field and for dialogue with university mathematicians. The aim of the book is to provide a deep synthesis of the research field as it appears through two INDRUM conferences organised in 2016 and 2018. It is an original contribution which highlights key research perspectives, addresses seminal theoretical and methodological issues and reports substantial results concerning the teaching and learning of mathematics at university level, including the teaching and learning of specific topics in advanced mathematics across a wide range of university programmes.

This book is a friendly and complete introduction to one of the most comprehensive contemporary theories of mathematics teaching and learning. By focusing on mathematical work performed by students and teachers during mathematics session, the theory of Mathematical Workings Spaces (MWS) has opened up new perspectives and avenues on mathematics education and mathematical thinking. In particular, it enables the identification of students' knowledge production processes and helps teachers to shape them. The first part of the book explores the heart of the theory and aims to further describe and understand epistemological and cognitive aspects of mathematical work. The second part develops the different MWS dedicated to observing how this work depends on the expectations of educational systems, how it is formed and taught, and how individuals appropriate it. In the last part, some applications and perspectives are discussed regarding topics of major importance today in mathematics education which relate to technological and digital tools, teacher training and modeling activities. In line with the spirit of the theory, the book was written to reflect the conceptual unity at the heart of the theory of MWS and, at the same time, to show the freedom and diversity of approaches given space therein. Written for researchers and professionals in mathematics education, it offers plenty of concrete examples from different educational systems around the world to illustrate the theoretical concepts and show the applicability of the theory to practice and research.

This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion.

This book is about the role and potential of using digital technology in designing teaching and learning tasks in the mathematics classroom. Digital technology has opened up different new educational spaces for the mathematics classroom in the past few decades and, as technology is constantly evolving, novel ideas and approaches are brewing to enrich these spaces with diverse didactical flavors. A key issue is always how technology can, or cannot, play epistemic and pedagogic roles in the mathematics classroom. The main purpose of this book is to explore mathematics task design when digital technology is part of the teaching and learning environment. What features of the technology used can be capitalized upon to design tasks that transform learners’ experiential knowledge, gained from using the technology, into conceptual mathematical knowledge? When do digital environments actually bring an essential (educationally, speaking) new dimension to classroom activities? What are some pragmatic and semiotic values of the technology used? These are some of the concerns addressed in the book by expert scholars in this area of research in mathematics education. This volume is the first devoted entirely to issues on designing mathematical tasks in digital teaching and learning environments, outlining different current research scenarios.

This volume is a compilation of the research produced by the International Group for the Psychology of Mathematics Education (PME) since its creation, 30 years ago. It has been written to become an essential reference for Mathematics Education research in the coming years.

This book contributes to both mathematical problem solving and the communication of mathematics by students, and the role of personal and home technologies in learning beyond school. It does this by reporting on major results and implications of the Problem@Web project that investigated youngsters’ mathematical problem solving and, in particular, their use of digital technologies in tackling, and communicating the results of their problem solving, in environments beyond school. The book has two focuses: Mathematical problem solving skills and strategies, forms of representing and expressing mathematical thinking, technological-based solutions; and students ́ and teachers ́ perspectives on mathematics learning, especially school compared to beyond-school mathematics.