Professur für Wissensrepräsentation und -verarbeitung

Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schaefer JF, Amann K, Kohlhase M Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schaefer JF Conference contribution DiscreteZOO: A Fingerprint Database of Discrete Objects (2020) Bercic K, Vidali J Journal article (Deep) FAIR mathematics (2020) Bercic K, Kohlhase M, Rabe F Journal article Scientific statement classification over arXiv.org (2020) Ginev D, Miller B Conference contribution Rapid prototyping formal systems in MMT: 5 case studies (2019) Müller D, Rabe F Conference contribution GF + MMT = GLF from language to semantics through LF (2019) Kohlhase M, Schaefer JF Conference contribution Social Choice and the Problem of Recommending Essential Readings (2019) Hungerbühler S, Jóhnsson HP, Lisowski G, Rapp M Conference contribution The Coq Library as a Theory Graph (2019) Müller D, Rabe F, Sacerdoti Coen C Conference contribution Diagram Combinators in MMT (2019) Rabe F, Sharoda Y Conference contribution