1: \begin{abstract}

2:   Over the last decades, a class of important mathematical results has required

3:   an ever increasing amount of human effort to carry out. For some, the help of

4:   computers is now indispensable.

5:   We analyze the implications of this trend towards \emph{big mathematics}, its

6:   relation to human cognition, and how machine support for big math can be organized.

7: 

8:   The central contribution of this position paper is an information model for \emph{doing mathematics}, which posits that humans very efficiently integrate five aspects of mathematics: \emph{inference}, \emph{computation}, \emph{tabulation},  \emph{narration}, and \emph{organization}.

9:   The challenge for mathematical software systems is to integrate these five aspects in the same way humans do.

10:   We include a brief survey of the state of the art from this perspective.

11: 

12: \smallskip

13: \noindent

14: \textbf{Acronyms}

15: 

16: \smallskip

17: \begin{tabular}{ll}  

18: CFSG:  & classification of finite simple groups\\

19: CIC:   & calculus of inductive constructions\\

20: DML:   & digital mathematics library\\

21: GDML:  & global digital mathematical library\\

22: LMFDB: & L-functions and Modular Forms Data Base\\

23: OBB:   & one-brain barrier\\

24: OEIS:  & Online Encyclopedia of Integer Sequences\\

25: OOT:   & Feit-Thompson Odd-Order Theorem\\

26: SGBB:  & small group brain-pool barrier

27: \end{tabular}

28: \end{abstract}

29: