Dennis Müller

Available identifiers

Publication	Date of Publication	Type
Learning support systems based on mathematical knowledge management	2024-02-28	Paper
Injecting formal mathematics into LaTeX	2023-06-02	Paper
System description STEX3 -- a \LaTeX-based ecosystem for semantic/active mathematical documents	2023-06-02	Paper
Representing structural language features in formal meta-languages	2021-01-20	Paper
FrameIT: detangling knowledge management from game design in serious games	2021-01-20	Paper
Structuring theories with implicit morphisms	2020-06-08	Paper
Relational data across mathematical libraries	2020-01-22	Paper
The Coq library as a theory graph	2020-01-22	Paper
Knowledge-Based Interoperability for Mathematical Software Systems	2019-03-14	Paper
Automatically finding theory morphisms for knowledge management	2018-10-18	Paper
Theories as types	2018-10-18	Paper
Making PVS accessible to generic services by interpretation in a universal format	2018-01-04	Paper
Mathematical models as research data via flexiformal theory graphs	2017-07-21	Paper
Classification of alignments between concepts of formal mathematical systems	2017-07-21	Paper
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach	2016-08-30	Paper

This page was built for person: Dennis Müller