Professur für Wissensrepräsentation und -verarbeitung

A survey of languages for formalizing mathematics (2020) Kaliszyk C, Rabe F Conference contribution Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge (2020) Carette J, Farmer WM, Kohlhase M, Rabe F Journal article Towards a heterogeneous query language for mathematical knowledge (2020) Bercic K, Kohlhase M, Rabe F Conference contribution Prototyping Controlled Mathematical Languages in Jupyter Notebooks (2020) Schäfer JF, Amann K, Kohlhase M Conference contribution Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer 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 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 Supporting Data-Driven Mathematics: Database and Interface Generation (2019) Bercic K Conference contribution