recent work in math knowledge rep 2021Q3
2021-Q3 survey of recent work in math knowledge rep Background definitions and motives FAIR Data : ( wikipedia ) data which meet principles of findability , accessibility , interoperability , and reusability . go-fair principles in more depth Some surveys (Deep) FAIR Mathematics - (KWARC) 2020-02-25 by Katja Berčič, Michael Kohlhase, Florian Rabe " Big Math and the One-Brain Barrier : The Tetrapod Model of Mathematical Knowledge" by Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe Expanded group from McMaster + KWARC shared working notes and tables as of 2020-Feb in: " The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems" A Survey of Languages for Formalizing Mathematics - (KWARC) 2020 by Cezary Kaliszyk and Florian Rabe Some proceedings Accepted Papers at ITP2021 -- 12th International Conference on Interactive Theorem Proving ITP2021 Proceedings as a single PDF CADE 2021 Proceedings (open access at Spring