马托克斯

MaTox是一组用于创建交互式数学文档的软件工具。它是一个软件系统，包括基于XML的语言（基于DoBook），它为交互式数学文档的源文本提供标记支持；文档服务器，从源文本和交互式获得的信息呈现交互式数学文档；数学服务，通过OpenMathematicPraveBoos与计算机代数系统如Mathematica、Mathematica和GAP提供连接。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaCT中的参考文献（10篇文章中引用）

显示结果1至10的10。
按年份排序（引文）

  1. Khan Afshar，Sanaz；Siddique，Umair；艾哈迈迪，Mohamed Yousri；Aravantinos，Vincent；Sedidii，ONS；Hasan，奥斯曼；TaHar，SoffieNe:光学系统的形式分析（2014）
  2. 陈，Xiaoyu；黄，瀛；王，东明：几何知识库的设计与实现（2011）
  3. 兰格，克里斯托夫：通过语义Web集成实现半正式数学知识的协作（2011）
  4. 陈，Xiaoyu：电子几何教科书：几何教科书知识管理系统（2010）
  5. 科恩，A. M.；CuyPes，H；Vrijjz，R：交互式文献中的数学背景（2010）
  6. Kohlhase，安德列；科尔哈斯，米迦勒；兰格，克里斯托夫：形式维度：软件工程中的MKM案例（2010）
  7. Giceva，Jana；兰格，克里斯托夫；Rabe，弗洛里安：将Web服务集成到主动数学文档中（2009）
  8. 霍恩，彼得；Roozemond，丹：科学中的开放数学：SCSCP和爆米花（2009）
  9. Kohlhase、安德列、科尔哈斯、米迦勒：电子表格与框架的交互：探索数学实践（2009）
  10. 科恩，Arjeh M.：交互式数学文献（2006）


进一步的出版物可以在：HTTP://Mathdox.Org/NeW-Web/Pusiths/Dex.HTML