关注
Dennis Müller
Dennis Müller
FAU Erlangen-Nürnberg
在 fau.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Interoperability in the OpenDreamKit project: the math-in-the-middle approach
PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016
372016
Classification of alignments between concepts of formal mathematical systems
D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe
International Conference on Intelligent Computer Mathematics, 83-98, 2017
322017
Making PVS accessible to generic services by interpretation in a universal format
M Kohlhase, D Müller, S Owre, F Rabe
Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017
182017
The Coq library as a theory graph
D Müller, F Rabe, C Sacerdoti Coen
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
152019
Theories as types
D Müller, F Rabe, M Kohlhase
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
152018
Mathematical models as research data via flexiformal theory graphs
M Kohlhase, T Koprucki, D Müller, K Tabelow
Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017
142017
A Standard for Aligning Mathematical Concepts.
C Kaliszyk, M Kohlhase, D Müller, F Rabe
FM4M/MathUI/ThEdu/DP/WIP@ CIKM, 229-244, 2016
132016
Rapid prototyping formal systems in MMT: 5 case studies
D Müller, F Rabe
arXiv preprint arXiv:1910.10850, 2019
122019
Mathematical knowledge management across formal libraries
D Müller
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2019
92019
Relational data across mathematical libraries
A Condoluci, M Kohlhase, D Müller, F Rabe, C Sacerdoti Coen, M Wenzel
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
92019
Knowledge-based interoperability for mathematical software systems
M Kohlhase, L De Feo, D Müller, M Pfeiffer, F Rabe, NM Thiéry, ...
Mathematical Aspects of Computer and Information Sciences: 7th International …, 2017
92017
A flexible, interactive theory-graph viewer
M Rupprecht, M Kohlhase, D Müller
MathUI, 2017
92017
Model pathway diagrams for the representation of mathematical models
T Koprucki, M Kohlhase, K Tabelow, D Müller, F Rabe
Optical and Quantum Electronics 50, 1-9, 2018
82018
Alignment-based translations across formal systems using interface theories
D Müller, C Rothgang, Y Liu, F Rabe
arXiv preprint arXiv:1712.01489, 2017
82017
An interactive explanatory AI system for industrial quality control
D Müller, M März, S Scheele, U Schmid
Proceedings of the AAAI Conference on Artificial Intelligence 36 (11), 12580 …, 2022
72022
Explaining image classifications with near misses, near hits and prototypes: Supporting domain experts in understanding decision boundaries
M Herchenbach, D Müller, S Scheele, U Schmid
International Conference on Pattern Recognition and Artificial Intelligence …, 2022
72022
Injecting formal mathematics into LaTeX
D Müller, M Kohlhase
International Conference on Intelligent Computer Mathematics, 168-183, 2022
62022
The Space of Mathematical Software Systems--A Survey of Paradigmatic Systems
K Bercic, J Carette, WM Farmer, M Kohlhase, D Müller, F Rabe, ...
arXiv preprint arXiv:2002.04955, 2020
62020
OMDoc/MMT Tutorial for Mathematicians. url: https://gl. mathhub. info/Tutorials
M Kohlhase, D Müller
Mathematicians/blob/master/tutorial/mmt-math-tutorial. pdf (visited on 10/07 …, 0
6
Representing structural language features in formal meta-languages
D Müller, F Rabe, C Rothgang, M Kohlhase
International Conference on Intelligent Computer Mathematics, 206-221, 2020
42020
系统目前无法执行此操作,请稍后再试。
文章 1–20