zbMATH中的参考文献（参考文献10条)

1. 汗阿夫沙尔，萨那斯；乌麦尔锡迪克；马哈茂德，穆罕默德·尤斯里；阿拉万提诺斯，文森特；塞迪基，Ons；哈桑，奥斯曼；塔哈尔，索菲涅：光学系统的形式分析（2014）
2. 陈晓宇；黄英；王东明：几何知识库的设计与实现（2011）
3. Lange，Christoph:通过语义web集成实现半形式数学知识的协作（2011）
4. 陈晓宇：电子几何教材：几何教材知识管理系统（2010）
5. 科恩，A.M。；库珀，H。；Verrijzer，R.：交互式文档中的数学上下文（2010）
6. 科哈塞，安德里亚；科哈塞，迈克尔；Lange，Christoph:形式维度：软件工程中MKM的案例研究（2010）
7. 吉塞瓦，雅娜；兰格，克里斯托夫；Rabe，Florian:将web服务集成到活动数学文档中（2009）
8. 霍恩，彼得；Roozemond，Dan:OpenMath in SCIEnce:SCSCP和爆米花（2009）
9. 科哈塞，安德里亚；Kohlhase，Michael:电子表格与框架的交互作用：探索数学实践（2009）
10. Cohen，Arjeh M.：交互式数学文献（2006）