  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
help of computers is now indispensable. We analyze the implications of this
trend towards "big mathematics", its relation to human cognition, and how
machine support for big math can be organized. The central contribution of this
position paper is an information model for "doing mathematics", which posits
that humans very efficiently integrate four aspects: inference, computation,
tabulation, and narration around a well-organized core of mathematical
knowledge. The challenge for mathematical software systems is that these four
aspects need to be integrated as well. We briefly survey the state of the art.
