马多克斯

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