Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge. - Carette, Jacques; Farmer, William M.; Kohlhase, Michael; Rabe, Florian (Mathematical Intelligencer, 2021)