Journal article
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
Journal
, , ,
Publication Date
April 23, 2019