• 公理

  • 168篇参考文献[SW000 063]
  • 公理是通用的电脑 代数 系统(CAS)。这对于研究…是有用的。
  • IBM便笺簿

  • 34篇参考文献[SWO4429 ]
  • 公理是通用的电脑 代数 系统. 这对于研究和开发是有用的。编程语言和内置编译器。公理自…以来一直在发展…Scratchpad是一个庞大的、通用的人。电脑 代数 系统(CAS)最初开发的…
  • 6篇参考文献[SW09215]
  • 软件包猜测电脑 代数 系统 公理. 猜测和猜测公理自由…
  • 阿尔多

  • 24篇参考文献[SW01220]
  • 表达型系统非常适合数学计算而这一直是…用于开发一些电脑 代数图书馆最初被称为A,Aldor…扩展语言公理 系统但现在在其他设置中使用得更多。在Aldor…
  • 弗里亚斯

  • 3篇参考文献[SW05860]
  • 电脑 代数 系统. 它的能力范围从微积分(积分和微分)到抽象。代数帮助系统. 它是一个叉子的WH沙箱分支公理项目
  • ACUSO2

  • 7篇参考文献[SW31984 ]
  • ACUSO2:一种高性能系统对于模块化ACU泛型与子类型和继承。一般化。。。统一(U)代数的 公理是有限的。然而,现有的工具计算推广者(也称为反…尺寸问题。本文介绍了ACUSO2系统当达到高性能时计算
  • 连铸坯

  • 26篇参考文献[SW150 333 ]
  • 面向服务的问题计算. SLA合同明确规定了客户需求和服务保证,重点是…名称的限制与结构公理接近名义结石比变量…系统用合适的方法配置经典约束的命名约束代数的结构提供…
  • 魔术

  • 12篇参考文献[SW11872]
  • 逻辑研究工具。IT计算代数(通常有多达14个元素)适合…从输出中消除任何代数同构一个已经生成,因此只返回…证明一系统比另一个更强大,证明了独立性公理. 它也可以…
  • 弗里斯科

  • 3篇参考文献[SW13180]
  • FRISCO——集成符号/数值的框架计算. FRISCO是一个为期三年的项目资助…解决(即简化或找到解决方案)系统多项式出现在许多领域…在商业中实现的通用算法代数 系统公理Maple、Mathematica等为解决…
  • 特殊函数界

  • 1篇参考文献[SW32216]
  • 函数的连分式展开电脑 代数 系统枫树。这些主题中的共同主题…本次开发的目的是验证公理使用MeTaTaSKi,一个自动定理证明器…
  • 辅酶Q

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

  • 2586篇参考文献[SW0320]
  • GAP是系统计算的离散的代数
  • 超小卫星

  • 516篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

  • 7189篇参考文献[SW071]
  • R是一个统计的语言和环境。