zbMATH参考文献（46篇文章引用，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. 拉贝，弗洛里安；沙罗达，亚斯敏：MMT中的图表组合（2019）
7. Jonas Betzendahl；Kohlhase，Michael:将IMPS理论库翻译为MMT/OMDoc（2018）
8. 拉贝，弗洛里安：模块化类型重建算法（2018）
9. 弗洛里安·拉贝（编辑）；农民，威廉·M（编辑）；帕斯莫尔，格兰特·O（编辑）；尤瑟夫，阿布杜（编辑）：智能计算机数学。第11届国际会议，2018年8月13日至17日，奥地利哈根堡，CICM 2018。会议记录（2018）
10. Carter，Nathan C.；Monks，Kenneth G.：基于web的语义数学字处理应用工具包（2017）
11. Michael Kohlhase；De Feo，Luca；Müller，Dennis；Pfeiffer，Markus；Rabe，Florian；Thiry，Nicolas M.；Vasilyev，Victor；Wiesing，Tom：《数学软件系统的基于知识的互操作性》（2017）
12. Kohlhase，Michael；Koprucki，Thomas；Müller，Dennis；Tabelow，Karsten：通过flexiformal理论图作为研究数据的数学模型（2017年）
13. Kohlhase，Michael；Sperber，Wolfram:软件引文、信息系统及其他（2017）
14. Müller，Dennis；Gauthier，Thibault；Kaliszyk，Cezary；Kohlhase，Michael；Rabe，Florian：形式数学系统概念之间对齐的分类（2017）
15. 如何识别、翻译和组合逻辑？（2017年）
16. Tom Wiesing；Kohlhase，Michael；Rabe，Florian：《虚拟理论——数学知识库的统一接口》（2017）
17. 保罗·奥利维尔（Paul Olivier）德哈伊（Dehaye）、米涅亚（Mihnea）伊安库（Iancu）、迈克尔·科哈塞（Kohlhase）、亚历山大·科诺瓦洛夫（Konovalov）、塞缪尔·莱利夫（Lelièvre）、丹尼斯·穆勒（Müller）、马库斯（Markus）普费弗（Pfeiffer）、弗洛里安（Florian）、蒂里（Thiéry）、尼古拉斯·M.；汤姆·威辛（Wiesing），汤姆：《Open
18. 《面向本体论》的《术语学》；康斯坦博伊恩（Michael-Ba-Yan）和《术语学》（Total-Togram-Ba-Se）；康斯坦德科伊安（Michae-Ba-Yan）；面向本体论的米哈涅夫（Michae-Ba-Yan）；面向本体论的米哈涅夫（Michae-Ba-Yan）；面向本体论的米哈涅夫（Michae-Ba-Yan）；面向本体论的米哈涅夫（Michae-Ba-Yan）；米尔
19. Kohlhase，Michael；Rabe，Florian:QED重新加载：走向多元形式的数学知识库（2016）
20. 弗洛里安·拉贝：《逻辑的未来：基金会独立》（2016）