Dennis Müller

Available identifiers

zbMath Open muller.dennisMaRDI QIDQ1687750

List of research outcomes

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
FrameIT: detangling knowledge management from game design in serious games	2021-01-20	Paper
Representing structural language features in formal meta-languages	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dennis Müller