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

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.