• OMDOC

  • 78篇参考文献[SW07138]
  • OMDOC迈向管理、分配和教学数学知识的互联网标准……本文提出了一种推广方法。OMDOC到OpenMaX标准,允许表示…
  • 止咳药

  • 6篇参考文献[SW07696]
  • 收藏用MKM格式编写文档OMDOC是一项非常繁琐的工作。多年之后…
  • 阿克斯利夫

  • 6篇参考文献[SW11679]
  • OpenMaX,内容MathML,或者我们自己的OMDOC植物化石。这些表示语言侧重于数学…
  • STEX+

  • 4篇参考文献[SW07697 ]
  • XHTML+RDFA通过一个链接数据OMDOC启用的,版本化的XML数据库。在最后的输出中…
  • 辅酶Q

  • 1689篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • TNTBASE

  • 16篇参考文献[SW07139]
  • TNTBase:一个版本化的XML存储。TNTBASE是…
  • 拉丁

  • 15篇参考文献[SW19699 ]
  • 项目摘要:逻辑阿特拉斯和积分器(拉丁文)。拉丁