Communicating Mathematics In The Digital Era

The digital era has dramatically changed the ways that researchers search, produce, publish, and disseminate their scientific work. These processes are still rapidly evolving due to improvements in information science, new achievements in computer science technologies, and initiatives such as DML and open access journals, digitization projects, sci

The digital era has dramatically changed the ways that researchers search, produce, publish, and disseminate their scientific work. These processes are still rapidly evolving due to improvements in information science, new achievements in computer science technologies, and initiatives such as DML and open access journals, digitization projects, scientific reference catalogs, and digital repositories. These changes have prompted many mathematicians to play an active part in the developments of the digital era, and have led mathematicians to promote and discuss new ideas with colleagues from other fields, such as technology developers and publishers. This book is a collection of contributions by key leaders in the field, offering the paradigms and mechanisms for producing, searching, and exploiting scientific and technical scholarship in mathematics in the digital era.

This book focuses on the potential interplay between two distinct, yet related paradigm shifts in mathematics education, drawing on the notion of “networking of theories” through illustrative case studies from the Danish educational system and beyond. The first paradigm shift is the massive introduction of digital technology in the teaching and learning of the subject; the second is a shift from the traditional focusing on mastering of skills and knowledge to being concerned with the possession and development of mathematical competencies. This book builds on the Danish KOM (Competencies and the Learning of Mathematics) project, which sources its description of mathematical mastery primarily on the notion of a “mathematical competency” rather than on lists of topics, concepts, and results. This allows for an overarching framework, which captures the perspectives of mathematics teaching and learning at whichever educational level. While the KOM framework does not in detail address the role of digital technologies in relation to its description of different types of mathematical competencies, etc., the chapters of this book set out to do exactly this, while in the process also drawing on a selection of other theoretical constructs and frameworks from mathematics education research. Starting with introductory chapters by key researchers in the area, the book brings forth chapters for each of the KOM framework’s eight mathematical competencies, authored by Nordic researchers in combination with international scholars. The KOM framework also operates with three types of overview and judgement, which are specifically addressed in relation to the role of digital technologies in the third part of the book. The fourth and final part of the book broadens the scene and provides chapters of a more perspective nature in relation to mathematical competencies in the digital era. The book’s preface is by Susanne Prediger.

The book includes selected high-quality research papers presented at the Third International Congress on Information and Communication Technology held at Brunel University, London on February 27–28, 2018. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IOT), and e-mining. Written by experts and researchers working on ICT, the book is suitable for new researchers involved in advanced studies.

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 constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

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.

The MAA was founded in 1915 to serve as a home for The American Mathematical Monthly. The mission of the Association-to advance mathematics, especially at the collegiate level-has, however, always been larger than merely publishing world-class mathematical exposition. MAA members have explored more than just mathematics; we have, as this volume tries to make evident, investigated mathematical connections to pedagogy, history, the arts, technology, literature, every field of intellectual endeavor. Essays, all commissioned for this volume, include exposition by Bob Devaney, Robin Wilson, and Frank Morgan; history from Karen Parshall, Della Dumbaugh, and Bill Dunham; pedagogical discussion from Paul Zorn, Joe Gallian, and Michael Starbird, and cultural commentary from Bonnie Gold, Jon Borwein, and Steve Abbott. This volume contains 35 essays by all-star writers and expositors writing to celebrate an extraordinary century for mathematics-more mathematics has been created and published since 1915 than in all of previous recorded history. We've solved age-old mysteries, created entire new fields of study, and changed our conception of what mathematics is. Many of those stories are told in this volume as the contributors paint a portrait of the broad cultural sweep of mathematics during the MAA's first century. Mathematics is the most thrilling, the most human, area of intellectual inquiry; you will find in this volume compelling proof of that claim.