Kohlhase, Michael; Rabe, Florian; Wenzel, Makarius Making Isabelle content accessible in knowledge representation formats. (English) Zbl 07756106 Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 1, 24 p. (2020). MSC: 03B70 68N30 PDFBibTeX XMLCite \textit{M. Kohlhase} et al., LIPIcs -- Leibniz Int. Proc. Inform. 175, Article 1, 24 p. (2020; Zbl 07756106) Full Text: DOI arXiv
Condoluci, Andrea; Kohlhase, Michael; Müller, Dennis; Rabe, Florian; Sacerdoti Coen, Claudio; Wenzel, Makarius Relational data across mathematical libraries. (English) Zbl 1428.68352 Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 61-76 (2019). MSC: 68V30 68V35 PDFBibTeX XMLCite \textit{A. Condoluci} et al., Lect. Notes Comput. Sci. 11617, 61--76 (2019; Zbl 1428.68352) Full Text: DOI