Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667)

The authors discuss what Big Math developments include. In particular, Big Math projects include five main aspects: inference, computation, concretization, narration, and organization. Computer support exists for all of these five aspects of Big Math projects. The authors propose that computer-based mathematical assistants should have a tetrapodal structure, integrating inference, computation, concretization, and narration centered around a shared knowledge organization feature.