Müller, Dennis; Kohlhase, Michael Injecting formal mathematics into LaTeX. (English) Zbl 07691298 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 168-183 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{D. Müller} and \textit{M. Kohlhase}, Lect. Notes Comput. Sci. 13467, 168--183 (2022; Zbl 07691298) Full Text: DOI
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017). MSC: 68T30 68T15 68U35 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 10383, 83--98 (2017; Zbl 1367.68309) Full Text: DOI Link
Ginev, Deyan; Iancu, Mihnea; Jucovshi, Constantin; Kohlhase, Andrea; Kohlhase, Michael; Oripov, Akbar; Schefter, Jürgen; Sperber, Wolfram; Teschke, Olaf; Wiesing, Tom The SMGloM project and system: towards a terminology and ontology for mathematics. (English) Zbl 1434.68649 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 451-457 (2016). MSC: 68V30 68T30 PDFBibTeX XMLCite \textit{D. Ginev} et al., Lect. Notes Comput. Sci. 9725, 451--457 (2016; Zbl 1434.68649) Full Text: DOI