zbMATH参考文献（47篇文章引用了，1标准件)

1. Alessi，Fabio；Ciafaglione，Alberto；Di Gianantonio，Pietro；Honsell，Furio；Lenisa，Marina；Scagnetto，Ivan:（\mathrmLF^+），用于快速和松散推理（2019年）
2. Kai Amann；Kohlhase，Michael；Rabe，Florian；Wiesing，Tom:整合语义数学文档和动态笔记本（2019）
3. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
4. Guidi，Ferruccio；Sacerdoti Coen，Claudio；Tassi，Enrico:在高阶约束逻辑编程中实现类型理论（2019）
5. 卡利斯兹克，塞扎里（编辑）；布拉迪，埃德温（编辑）；科哈塞，安德里亚（编辑）；萨尔多蒂·科恩，克劳迪奥（编辑）：智能计算机数学。第12届国际会议，CICM 2019，捷克共和国布拉格，2019年7月8日至12日。会议记录（2019年）
6. 《隐式结构理论》，Dennis Müller，2019；Morphis MüRabe
7. 拉贝，弗洛里安；沙罗达，亚斯敏：MMT中的图表组合（2019）
8. Jonas Betzendahl；Kohlhase，Michael:将IMPS理论库翻译为MMT/OMDoc（2018）
9. 拉贝，弗洛里安：模块化类型重建算法（2018）
10. 弗洛里安·拉贝（编辑）；农民，威廉·M（编辑）；帕斯莫尔，格兰特·O（编辑）；尤瑟夫，阿布杜（编辑）：智能计算机数学。第11届国际会议，2018年8月13日至17日，奥地利哈根堡，CICM 2018。会议记录（2018）
11. Carter，Nathan C.；Monks，Kenneth G.：基于web的语义数学字处理应用工具包（2017）
12. Michael Kohlhase；De Feo，Luca；Müller，Dennis；Pfeiffer，Markus；Rabe，Florian；Thiry，Nicolas M.；Vasilyev，Victor；Wiesing，Tom：《数学软件系统的基于知识的互操作性》（2017）
13. Kohlhase，Michael；Koprucki，Thomas；Müller，Dennis；Tabelow，Karsten：通过flexiformal理论图作为研究数据的数学模型（2017年）
14. Kohlhase，Michael；Sperber，Wolfram:软件引文、信息系统及其他（2017）
15. Müller，Dennis；Gauthier，Thibault；Kaliszyk，Cezary；Kohlhase，Michael；Rabe，Florian：形式数学系统概念之间对齐的分类（2017）
16. 如何识别、翻译和组合逻辑？（2017年）
17. Tom Wiesing；Kohlhase，Michael；Rabe，Florian：《虚拟理论——数学知识库的统一接口》（2017）
18. 保罗·奥利维尔（Paul Olivier）德哈伊（Dehaye）、米涅亚（Mihnea）伊安库（Iancu）、迈克尔·科哈塞（Kohlhase）、亚历山大·科诺瓦洛夫（Konovalov）、塞缪尔·莱利夫（Lelièvre）、丹尼斯·穆勒（Müller）、马库斯（Markus）普费弗（Pfeiffer）、弗洛里安（Florian）、蒂里（Thiéry）、尼古拉斯·M.；汤姆·威辛（Wiesing），汤姆：《Open
19. 吉涅夫，德扬；伊安库，米涅亚；朱科夫斯，康斯坦丁；科哈塞，安德里亚；科哈塞，迈克尔；奥里波夫，阿克巴；舍夫特，约尔根；斯珀伯，沃尔夫拉姆；特施克，奥拉夫；威辛，汤姆：《SMGloM项目和系统：走向数学术语和本体论》（2016）
20. Kohlhase，Michael；Rabe，Florian:QED重新加载：走向多元形式的数学知识库（2016）