apl. Prof. Dr. Florian Rabe

Professur für Wissensrepräsentation und -verarbeitung Technische Fakultät

Making Isabelle Content Accessible in Knowledge Representation Formats (2020) Kohlhase M, Rabe F, Wenzel M Conference contribution Representing Structural Language Features in Formal Meta-languages (2020) Müller D, Rabe F, Rothgang C, Kohlhase M Conference contribution, Original article Tgview3d: A system for 3-dimensional visualization of theory graphs (2020) Marcus R, Kohlhase M, Rabe F Conference contribution 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 Logic-Independent Proof Search in Logical Frameworks: (Short Paper) (2020) Kohlhase M, Rabe F, Sacerdoti Coen C, Schäfer JF Conference contribution (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 The Coq Library as a Theory Graph (2019) Müller D, Rabe F, Sacerdoti Coen C Conference contribution