Abstract:The highest level of mathematics has traditionally been seen as a solitary endeavour, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. Crowdsourcing pulls together diverse experts to solve problems; symbolic computation tackles huge routine calculations; and computers check proofs too long and complicated for humans to comprehend. Mathematical practice is an emerging interdisciplinary field which draws on philosophy and social science to understand how mathematics is produced. Online mathematical activity provides a novel and rich source of data for empirical investigation of mathematical practice - for example the community question answering system {\it mathoverflow} contains around 40,000 mathematical conversations, and {\it polymath} collaborations provide transcripts of the process of discovering proofs. Our preliminary investigations have demonstrated the importance of "soft" aspects such as analogy and creativity, alongside deduction and proof, in the production of mathematics, and have given us new ways to think about the roles of people and machines in creating new mathematical knowledge. We discuss further investigation of these resources and what it might reveal. Crowdsourced mathematical activity is an example of a "social machine", a new paradigm, identified by Berners-Lee, for viewing a combination of people and computers as a single problem-solving entity, and the subject of major international research endeavours. We outline a future research agenda for mathematics social machines, a combination of people, computers, and mathematical archives to create and apply mathematics, with the potential to change the way people do mathematics, and to transform the reach, pace, and impact of mathematics research.

Behavior patterns of 15-year-old students in a Digital Storytelling in Mathematics. A social network analysis

To tell a story, you need a protagonist: how dynamic interactive mediators can fulfill this role and foster explorative participation to mathematical discourse

Social Creativity in the Education Sector: The Case of Collaborative Design of Digital Resources in Mathematics

Mathematical strategies and emergence of socially mediated metacognition within a multi-touch Dynamic Geometry Environment

Mathematical competencies: a case study on semiotic systems and argumentation in an Italian High School

Harnessing Sociographs to Design Discussion Groups for Mathematics Learning: A Social Network Analysis Approach

Characterizing Tasks for Teaching Mathematics in Dynamic Geometry System and Modelling Environments

Changing students' attitudes toward mathematics through creative steam projects designed and executed by them (smart program)

Teaching Mathematics with Digital Tools: An Italian High School Teachers' Perspective

Teacher Action and Student Action in Mathematics Classes Based on the Exploration of Learning Objects on Digital Board: Categorisations and Connections

Mathematical discussion in classrooms as a technologically-supported activity fostering participation and inclusion

Mathematical videos, social semiotics and the changing classroom

Showing and telling: using tablet technology to engage students in mathematics

Using Rich Narratives to Engage Students in Worthwhile Mathematics: Children’s Literature, Movies and Short Films

Teaching Pre-service Teachers to Make Digital Stories that Explain Complex Mathematical Concepts in a Real-World Context: The “Math-eo” Project, Creating “Cool New Tools”

The power of digital story in early mathematics education: Innovative approaches for children with intellectual disabilities

Uso de herramientas digitales matemáticas en la Educación Secundaria

Digital educational games and mathematics. Results of a case study in primary school settings

Mathematical practice, crowdsourcing, and social machines

An Exploratory Holistic Analysis of Digital Gamification in Mathematics Education

Computational thinking and mathematics using Scratch: an experiment with sixth-grade students