• 拉尔夫

  • 参考6篇文章[sw08503]
  • 关系-代数的配方操作系统和校对程序。在过去的几年里,关系。。。编程语言。除其他外,这是由简单的免费组件和“线性的... 文章,这使程序它们的性质更便于理论研究,例如关于证明。。。转换规则或验证规则。。。
  • 奥尔巴尼/费利克斯

  • 参考6篇文章[sw17196]
  • 使用抽象接口和基于模板的泛型编程,最终生成具有访问权限的代码。。。他们的实施。几个验证对模型精度进行了研究。。。预处理迭代线性的使用新的代数的多级预处理程序,基于构造。。。
  • 公理

  • 参考170篇文章[sw00063]
  • Axiom是一种通用计算机代数系统。。。
  • 男爵

  • 在311篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • gmp

  • 引用265篇[sw00363]
  • GMP是一个任意精度的免费库。。。