Michael Kohlhase. Mathematical Knowledge Management and Information Retrieval: Transcending the One-Brain-Barrier. In Thomas Seidl, Marwan Hassani, Christian Beecks, editors, Proceedings of the 16th LWA Workshops: KDML, IR and FGWM, Aachen, Germany, September 8-10, 2014. Volume 1226 of CEUR Workshop Proceedings, pages 8, CEUR-WS.org, 2014. [doi]
Abstract is missing.