apl. Prof. Dr. Florian Rabe

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

Diagram Combinators in MMT (2019) Rabe F, Sharoda Y Conference contribution Relational Data Across Mathematical Libraries (2019) Condoluci A, Kohlhase M, Müller D, Rabe F, Sacerdoti Coen C, Wenzel M Conference contribution Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (2019) Bercic K, Kohlhase M, Rabe F Conference contribution, Original article Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019) Amann K, Kohlhase M, Rabe F, Wiesing T Conference contribution Structuring Theories with Implicit Morphisms (2019) Müller D, Rabe F Conference contribution Model pathway diagrams for the representation of mathematical models (2018) Müller D, Kohlhase M, Koprucki T, Tabelow K, Rabe F Journal article, Original article Theories as Types (2018) Müller D, Kohlhase M, Rabe F Conference contribution, Original article Automatically finding theory morphisms for knowledge management (2018) Müller D, Kohlhase M, Rabe F Conference contribution, Original article Intelligent Computer Mathematics (2018) Rabe F Edited Volume Virtual theories – A uniform interface to mathematical knowledge bases (2017) Wiesing T, Kohlhase M, Rabe F Conference contribution, Original article