• 特克斯马克

  • 13篇参考文献[SW05355]
  • 特克斯马克是一个免费的WYSIWYW(你所看到的是你想要的)编辑平台与…内容:文本、数学、图形、交互内容。特克斯马克也可以用作接口…
  • 吉特巴尔特

  • 2篇参考文献[SW0395]
  • 其他包装,其中包括GiNaC,特克斯马克和根。它提供了交互式象征的可能性…
  • 辅酶Q

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

  • 22篇参考文献[SW02186]
  • CAS/PI是计算机代数系统的图形用户…
  • OMDOC

  • 84篇参考文献[SW07138]
  • OMDOC:走向行政管理的互联网标准…
  • CTCOQ

  • 13篇参考文献[SW0972]
  • CTCOQ系统:设计与架构。CTCOQ提供…
  • GF

  • 32篇参考文献[SW13667 ]
  • 语法框架。一种类型的理论语法形式主义。语法的…
  • XPath

  • 365篇参考文献[SW15780]
  • XPath 2是一种允许…的表达式语言。