• 德州马克

  • 在14篇文章中引用[sw05355]
  • 德州马克是一个免费的所见即所得编辑平台。。。内容:文本、数学、图形、互动内容。德州马克也可以用作接口。。。
  • gTybalt公司

  • 引用2篇文章[sw00395]
  • 其他包装,包括GiNaC,德州马克还有根。它提供了互动的可能性符号。。。
  • 数学软件

  • 引用5933篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 圣哲

  • 在1672篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • CAS/PI

  • 参考22篇文章[sw02186]
  • 是一个计算机代数系统图形用户。。。
  • 玛雅

  • 在26篇文章中引用[sw03423]
  • 工业规模软件的正式开发是。。。
  • Isar

  • 在140篇文章中引用[sw04599]
  • 定理证明系统支持交互式证明开发。。。
  • 晚XML

  • 参考22篇文章[sw07135]
  • LaTeXML守护进程:关于协作的可编辑数学。。。
  • GF公司

  • 引用32篇文章[sw13667]
  • 语法框架。一种类型的理论语法形式主义。语法。。。
  • XPath

  • 引用371篇文章[sw15780]
  • XPath2.0是一种表达式语言,它允许。。。