Massively collaborative mathematics

  title={Massively collaborative mathematics},
  author={T. Gowers and Michael Nielsen},
The 'Polymath Project' proved that many minds can work together to solve difficult mathematical problems. Timothy Gowers and Michael Nielsen reflect on the lessons learned for open-source science. 
Analyzing Massively Collaborative Mathematics Projects
In the increasingly rare segment, the stage curtain is raised to reveal an individual or team performing an unusual stunt, often accompanied by music from the CBS Orchestra ... after about thirtyExpand
ProofPeer: Collaborative Theorem Proving
It is believed that a successful implementation of collaborative theorem proving is a necessary prerequisite for the formal verification of large systems. Expand
The twin prime conjecture and other curiosities regarding prime numbers
The paper begins with a reference to Riemann’s hypothesis on the sequence of prime numbers, still unproven today, and goes on to illustrate the twin prime conjecture and the more general Polignac’sExpand
The polymath project: lessons from a successful online collaboration in mathematics
An in-depth descriptive history of Polymath is provided, using data analysis and visualization to elucidate the principles that led to its success, and the difficulties that must be addressed before the project can be scaled up. Expand
Computational logic and the social
This paper outlines a research agenda for a new vision of a mathematics social machine, a combination of people, computers, and archives to create and apply mathematics, and places it in the context of verification research, computational logic and Roy Dyckhoff’s pioneering work on computer proof. Expand
Mathematical practice, crowdsourcing, and social machines
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 is outlined. Expand
Mathematical Arguments and Distributed Knowledge
Because the conclusion of a correct proof follows by necessity from its premises, and is thus independent of the mathematician’s beliefs about that conclusion, understanding how different pieces ofExpand
Stumbling Around in the Dark: Lessons from Everyday Mathematics
  • U. Martin
  • Computer Science, Mathematics
  • CADE
  • 2015
This essay looks at four case studies to see what the authors can learn about the everyday practice of mathematics, and the role of computer algebra, in particular the GAP system, in the production of mathematics. Expand
It is argued for a view of mathematics as discourse and for a specific set of complementary approaches to analyzing collaborative math discourse to reveal processes of mathematical group cognition. Expand
Toward a Comparative Cognitive History: Archimedes and D. H. J. Polymath
It is argued that a cognitive history methodology can shed light into the nature of collective intelligence and its differences from individual intelligence. Expand


Targeted Development of Registries of Biological Parts
By analyzing inclusion relationships between the sequences of the Registry entries, this work builds a network that can be related to the Registry abstraction hierarchy and extracts the distribution of entry reuse and complexity. Expand