Project TetraPod : Selected Publications

Please respect any copyrights when downloading

1. Archival Literature
   1. Articles in Journals
   2. Papers at International, Peer-Reviewed Conferences
2. Gray Literature
   1. Papers at Peer-Reviewed Workshops
3. Unpublished

Archival Literature

Articles in Journals

1. [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. [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. [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.

Unpublished

1. [1] M. Kohlhase and F. Rabe (2026) The tetrapod model for knowledge in computer science. Note: submitted External Links: Link Cited by: p1.