zbMATH中的参考文献（参考 20篇文章 参考，2标准条款)

1. 数学方程组；图瓦塔夫（2019）：混合物理
2. Guidi，Ferruccio；Sacerdoti Coen，Claudio:数学知识检索调查（2016）
3. Kohlhase，Michael；Rabe，Florian:QED重新加载：走向多元形式的数学知识库（2016）
4. Luzhnica，Enxhell；Kohlhase，Michael:在线整数序列百科全书中的公式语义化和自动关系查找（2016）
5. 弗洛里安·拉贝：《逻辑的未来：基金会独立》（2016）
6. Cohl，Howard S.；Schubotz，Moritz；McClain，Marjorie A.；Saunders，Bonita V.；Zou，Cherry Y.；Mohammed，Azeem S.；Danoff，Alex A.：利用通用资源开发数学公式的数字存储库（2015年）
7. Iancu，Mihnea；Kohlhase，Michael：通过诱导材料进行数学知识管理（2015）
8. Zanibbi，Richard；Orakwue，Awelemdy：面向大众的数学搜索：多模式搜索界面和基于外观的检索（2015）
9. Kaliszyk，Cezary；Rabe，Florian:面向HOL Light的知识管理（2014）
10. Nghiem，Minh Quoc；Kristianto，Giovanni Yoko；Topić，Goran；Aizawa，Aiko：哪一个更好：基于演示还是基于内容的数学搜索？（2014年）
11. 张群；尤瑟夫，阿布杜：数学相似性搜索方法（2014）
12. 数学应用：米哈内夫（Michael Rabianse）和《米齐安尼》（The Mathematic applications）杂志（The Mathematic applications）：米哈内夫（Michael Rabiane）和米西安（The Mishnef）2013年出版的《数学应用》（The Mathematic applications）：米哈内夫（Michael）和
13. Kohlhase，Michael；Matican，Bogdan A.；Prodescu，Corneliu Claudiu:MathWebSearch 0.5:缩放开放式公式搜索引擎（2012）
14. 拉贝，弗洛里安：正式数学图书馆的查询语言（2012）
15. Stamerjohanns，Heinrich；Kohlhase，Michael；Ginev，Deyan；David，Catalin；Miller，Bruce：将大量科学出版物集合转换为XML（2010）
16. Giceva，Jana；Lange，Christoph；Rabe，Florian:将web服务集成到活动数学文档中（2009）
17. Altami，Moody Ebrahem；Youssef，Abdou:一种带有扩展通配符集的数学查询语言（2008）
18. Mišutka，Jozef；Galamboš，Leo:扩展数学内容全文搜索引擎（2008）
19. Kohlhase，Michael；Sucan，Ioan:数学公式搜索引擎（2006）
20. Libbrecht，Paul；Melis，Erica:在ActiveMath中访问和检索数学内容的方法（2006）