Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Big Math and the One-Brain Barrier A Position Paper and Architecture
  Proposal   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.

13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg