马克·伯吉斯;乔纳斯·贝岑达尔;阿比舍克·丘格;迈克尔·科尔哈斯;多米尼克·洛尔;穆勒，丹尼斯 基于数学知识管理的学习支持系统。 （英文） Zbl 07810725号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。14101, 84-97 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Berges}等人，Lect。注释计算。科学。14101、84-97（2023；Zbl 07810725） 全文： 内政部
迈克尔·科尔哈斯;穆勒，丹尼斯 系统描述STEX3–aL（左）A类T型E类X（X）-基于生态系统的语义/活动数学文档。 （英文） Zbl 07691299号 Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13467, 184-188 (2022).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{D.Müller}，Lect。注释计算。科学。13467，184--188（2022；Zbl 07691299） 全文： 内政部
穆勒，丹尼斯;迈克尔·科尔哈斯 将形式数学注入LaTeX。 （英文） Zbl 07691298号 Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。13467, 168-183 (2022).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit｛D.Müller｝和\textit｛M.Kohlhase｝，Lect。注释计算。科学。13467，168-183（2022；Zbl 07691298） 全文： 内政部
弗洛里安·拉贝;穆勒，丹尼斯 用隐式形态构建理论。 （英文） Zbl 1444.68293号 JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：施普林格。莱克特。注释计算。科学。11563, 154-173 (2019).MSC公司：68伏30 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{D.Müller}，莱克特。注释计算。科学。11563、154--173（2019年；Zbl 1444.68293） 全文： 内政部 哈尔
迈克尔·科尔哈斯;穆勒，丹尼斯;萨姆·奥雷;弗洛里安·拉贝 通过通用格式的解释使PVS可用于通用服务。 （英文） Zbl 1484.68311号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10499, 319-335 (2017).MSC公司：68伏15 68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人，Lect。注释计算。科学。10499，319--335（2017；Zbl 1484.68311） 全文： 内政部
穆勒，丹尼斯;Thibault Gauthier;塞萨里·卡利西克;迈克尔·科尔哈斯;弗洛里安·拉贝 形式数学系统概念之间的对齐分类。 （英文） Zbl 1367.68309号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，83-98（2017）。MSC公司：68立方英尺 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.Müller}等人，Lect。注释计算。科学。10383、83-98（2017年；Zbl 1367.68309） 全文： 内政部 链接
迈克尔·科尔哈斯;托马斯·科普鲁基;穆勒，丹尼斯;卡斯滕·塔布洛 通过灵活形式理论图将数学模型作为研究数据。 （英文） Zbl 1367.68307号 Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。商会：施普林格出版社（ISBN 978-3-319-62074-9/pbk；978-3-319-62075-6/ebook）。计算机科学课程讲稿10383。《人工智能课堂讲稿》，224-238（2017）。MSC公司：68立方英尺 00A71号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}等人，Lect。注释计算。科学。10383、224--238（2017；Zbl 1367.68307） 全文： 内政部
保罗·奥利维尔·德哈伊;米娜·安库;迈克尔·科尔哈斯;亚历山大·科诺瓦洛夫;塞缪尔·莱利耶夫尔;穆勒，丹尼斯;马库斯·普菲弗;弗洛里安·拉贝;尼古拉斯·M·蒂埃里。;汤姆·威辛 OpenDreamKit项目中的互操作性：中间的方法。 （英文） Zbl 1344.68268号 Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，117-131（2016）。MSC公司：68单位35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.-O.Dehaye}等人，Lect。注释计算。科学。9791、117--131（2016年；Zbl 1344.68268） 全文： 内政部 arXiv公司