Preprint
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
Abstract
Over the last decades, a class of important mathematical results have
required an ever increasing amount of human effort to carry out. For some, the
Authors
Carette J; Farmer WM; Kohlhase M; Rabe F
Publication date
April 23, 2019
DOI
10.48550/arxiv.1904.10405
Preprint server
arXiv