### Archival Literature

#### Articles in Journals

- [1]
J. Carette, W. M. Farmer, M. Kohlhase, and F. Rabe (2021)
Big math and the one-brain barrier – the tetrapod model of mathematical knowledge.
Mathematical Intelligencer 43 (1).
External Links: Document
Cited by: p1.

#### Papers at International, Peer-Reviewed Conferences

- [1]
J. Carette, W. Farmer, and M. Kohlhase (2014)
Realms: a structure for consolidating knowledge about mathematical theories.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 252–266.
Note: MKM Best-Paper-Award
External Links: Link
Cited by: p1.

### Gray Literature

#### Papers at Peer-Reviewed Workshops

- [1]
J. Carette, W. Farmer, and M. Kohlhase (2014)
Realms: a structure for consolidating knowledge about mathematical theories.
In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.),
LNCS, pp. 252–266.
Note: MKM Best-Paper-Award
External Links: Link
Cited by: p1.