• RealLib公司

  • 在14篇文章中引用[sw01977]
  • RealLib:一个有效的准确的 真实的 算术本文是一篇导论。。。与其他软件包进行比较准确的 真实的 算术...
  • xrc公司

  • 引用5篇文章[sw05916]
  • 这是lazy的一个实现准确的 真实的 算术在C。这是一个替代。。。对最终结果有把握。间隔算术是一个进步,但仍然。。。精度更高。相比之下,在准确的 真实的 算术没有预先设置精度等级。。。
  • 伊洛姆

  • 引用42篇文章[sw08769]
  • 伊洛姆:准确 算术在C++中。伊洛姆是一个非常有效的C++错误处理软件包。。。自由的真实的 算术基于a的概念真实的-拉姆。它的功能范围从。。。
  • 阿尔法认证

  • 引用了50篇文章[sw07351]
  • 同时使用这两者的系统准确的理性的算术和任意精度浮点算术. 它还实现了。。。给定点是否对应于真实的解决方案,以及启发式验证解决方案的算法。。。
  • 引用了30篇文章[sw06033]
  • 真实的复杂的算术(最多2600位)以前版本的,但添加了准确的理性的。。。
  • 光谱

  • 引用8篇文章[sw17619]
  • 求解线性矩阵不等式准确的 算术,本文简要介绍了我们的免费分发的Maple。。。工具真实的代数。它解决了线性矩阵不等式准确的 算术...
  • 克里亚尔

  • 1条引用[sw19086]
  • 雷亚尔OCaml库。克里尔是一个准确的 真实的 算术图书馆(建设性雷亚尔)对于OCaml。克里尔。。。
  • DLASQ公司

  • 参考6篇文章[sw08636]
  • 计算a的奇异值真实的高精度上双对角线矩阵。基本的。。。DLASQ的渐近超二次收敛准确的 算术...
  • cddplus公司

  • 引用13篇文章[sw04443]
  • 真实的矩阵和b是a真实的m维向量。程序可以用来。。。为两个rational编译(准确的)算术和浮点算术. (请注意,cdd运行。。。
  • 对数立方英尺

  • 引用3篇文章[sw06355]
  • logcf是一个计算准确的 真实的一元多项式的根隔离。。。paper logcf:一个有效的工具真实的根隔离。所使用的算法是基于。。。使用GMP库实现任意精度算术(这些都包含在Zip包中。。。
  • 阿尔恩

  • 1条引用[sw09495]
  • Haskell图书馆准确的 真实的编号和真实的函数计算。艾恩的目标。。。严格而精确的计算真实的数字(分段连续)真实的函数和区间函数。目前。。。可重用性。采用的主要技术是Kaucher算术函数的自动多项式逼近。。。
  • 实代数

  • 1条引用[sw09225]
  • 准确的几何计算。真实的_代数是一种准确的几何计算。它允许。。。计算符号算术包含运算+,-,*,/和任何程度的根的表达式。算术... 随着精度的提高,使符号计算具有自适应性。真实的_代数是基于其他库。。。
  • SLV公司

  • 引用3篇文章【sw20783】
  • 它提供了隔离真实的一元整系数多项式的根。。。使用执行所有操作准确的 算术基于图书馆gmp及其开发。。。
  • 多楔

  • 引用3篇文章[sw08771]
  • 积分计算准确的完整的。编写此类程序的程序员和工程师。。。规范可以描述间隔之间包含的内容算术表达。第二,经典分析中的积分算子。。。积分边界可以是任意表达式真实的变量。为了支持我们的表达能力。。。
  • 终结者

  • 引用3篇文章[sw06692]
  • 分析终止是基于preburger的算术或者线性规划,所以它们只有。。。量词消去问题雷亚尔,因此是可计算的。最后,可行的样本点。。。复杂性。因此准确的在分析终止条件时建立了相应的结果。。。
  • 公理

  • 引用了173篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 男爵

  • 引用了354篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • B波利

  • 引用13篇文章[sw00089]
  • 算法812:BPOLY:一个面向对象的库。。。
  • 参考105篇文章[sw00108]
  • CASA是一个专门用于计算。。。