Title Authors Publication Status
Alignment-based Translations Across Formal Systems Using
Interface Theories
D. Müller, C. Rothgang, Y. Liu, F. Rabe PxTP 2017 (submitted)
A Flexible, Interactive Theory-Graph Viewer M. Rupprecht, M. Kohlhase, D. Müller CICM 2017 (submitted)
Making PVS accessible to generic services by interpretation in a universal format M. Kohlhase, D. Müller, S. Owre, F. Rabe ITP 2017
Classification of alignments between concepts of formal mathematical systems D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, F. Rabe CICM 2017
Mathematical models as research data via flexiformal theory graphs M. Kohlhase, T. Kboprucki, D. Müller, K. Tabelow CICM 2017
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, T. Wiesing CICM 2016
FrameIT Reloaded: Serious Math Games from Modular Math Ontologies D. Rochau, M. Kohlhase, D. Müller CICM 2016
A Standard for Aligning Mathematical Concepts C. Kaliszyk, M. Kohlhase, D. Müller, F. Rabe CICM 2016
Understanding Mathematical Theory Formation via Theory Intersections in MMT D. Müller, M. Kohlhase CICM 2015
Knowledge Management across Formal Libraries D. Müller Ph.D. Proposal
Die Konsistenz der P-Ideal-Dichotomie (German) D. Müller M.Sc. Thesis
The model completion for the theory of Heyting algebras D. Müller B.Sc. Thesis

Unpublished old stuff; lecture scripts, summaries etc. (almost all in german):

Thema Typ
Forcing Einführung
Abstract Nonsense Mitschrift CdE Winterakademiekurs
Logik für Nicht-Mathematiker Einführung
Funktionalanalysis Zusammenfassung
Forcingaxiome – Idealdichotomien Seminarvortrag
Game Theory – Wadge and Lipschitz Games Seminarvortrag
Mengenlehre und Große Kardinalzahlen Zusammenfassung
Große Kardinalzahlen – Unbeschreibbare Kardinalzahlen Seminarvortrag
Mengenlehre (Vorlesung zu 0#) Vorlesungsmitschrift
Model Theory and Applications Volesungsmitschrift
Modelltheorie I,II Zusammenfassung
Nichtstandard Analysis Vorlesungsmitschrift
Descriptive Set Theory Vorlesungsmitschrift
Kommutative Algebra Vorlesungsmitschrift
Topologie Vorlesungsmitschrift
Logik – “Intuitionismus III – Modallogische Interpretation” Proseminarvortrag
Algebra und Zahlentheorie Zusammenfassung
Analysis I,II,III Zusammenfassung
Analysis I Zusammenfassung
Lineare Algebra I,II Zusammenfassung
Experimentalphysik II Klausurhilfe
Experimentalphysik I Zusammenfassung