• 帕斯卡-XSC

  • 参考文献103篇[sw18863]
  • 在正确定义和实施计算机 算术在通常的数值空间里计算...
  • 国际实验室

  • 引用了439篇文章[sw04004]
  • INTLAB是Matlab的工具箱计算以及自我验证算法。它包括。。。一元多项式零点(简单和簇)区间算术对于真实和复杂的数据包括向量。。。算术对于实的和复杂的稀疏矩阵(非常快)自动微分(正向模式,矢量化计算... 解释,参考实施,慢)多精度间隔算术有错误界限(工作,慢。。。
  • 特兰

  • 引用了65篇文章[sw04029]
  • 形式方便。大部分算术 计算在软件中是通过调用。。。
  • 咬合

  • 引用了30篇文章[sw20131]
  • 歧管。快照是计算机学习计划算术双曲三流形的不变量。。。帕里的高精度算术数论函数计算不变跟踪字段。。。流形不变量。看报纸,计算 算术三流形的不变量。。。
  • 减少

  • 引用742篇文章[sw00789]
  • 对数学家、科学家和工程师感兴趣。电脑类代数系统(CAS)。它已经生产出来了。。。符号矩阵;任意精度整数和实数算术; 用于定义新功能和扩展。。。
  • 帕斯卡SC

  • 引用了30篇文章[sw30417]
  • 帕斯卡大学计算机科学语言计算. PASCALSC是一种编程语言。。。这种语言的要素包括:算术控制舍入运算,最佳标量积,函数。。。新基础理论计算机 算术,并展示了Pascal提供的工具是如何。。。
  • gmp

  • 引用274篇文章[sw00363]
  • 任意精度的免费库算术,对有符号整数、有理数和浮点运算。。。研究,互联网安全应用,代数系统,计算的代数研究等。GMP是精心设计的。。。以全字为基础实现算术类型,通过使用快速算法,具有高度。。。
  • 霍马格

  • 引用了30篇文章[sw00411]
  • 计算机代数软件实现算术可计算马上打电话给R。。。
  • 嘉年华

  • 引用了40篇文章[sw16360]
  • 完全并行化(甚至到多个计算机),高精度算术(允许计算积分。。。
  • 数量

  • 在149篇文章中引用[sw07543]
  • 同一作者的前一本书名为“A计算的逻辑”(1979;Zbl 0448.68020)。真正重要的改变。。。线性积分算术决策程序和一个相当原始的设施的增加。。。证明程序“【在”的正确性问题计算机《科学》(1981;zbl0476.68009)和“加法。。。
  • 焦点

  • 参考58篇文章[sw12868]
  • 未解释函数,线性算术,和数组。最重要的是,它可以计算无量词克雷格插入。。。
  • MPFR公司

  • 引用216篇文章[sw03312]
  • 多精度浮点库计算它既有效率又有一口井。。。ANSI/IEEE-754双精度浮点标准算术(53位有效位)。MPFR是免费的。。。
  • 全息函数

  • 引用了50篇文章[sw06666号]
  • 在全息函数中实现:计算在Ore代数中(非交换多项式算术用混合差分法。。。
  • Coq/S参考

  • 引用68篇文章[sw09360]
  • 计算机-四色定理的检验证明。。。Ssreflect库算术比较不是一个抽象的谓词,而是一个函数计算布尔值。。。
  • MPFI公司

  • 引用41篇文章[sw00597]
  • 任意精度区间算术是需要的。为了提供准确的结果,间隔计算需要少量输入。。。与固定精度区间的比较算术对一个具体问题进行了分析。它显示。。。符号与数值相结合的算法计算)以及任意精度的实根逼近。。。
  • 克伦肖柯蒂斯

  • 引用41篇文章[sw07876]
  • 需要计算余弦变换,以及算术这件事的代价是。。。部分;一份配套文件,“II计算余弦变换“,表明这个反对。。。
  • PBC图书馆

  • 引用24篇文章[sw09829]
  • 椭圆曲线生成,椭圆曲线算术和配对计算. 感谢GMP库,尽管。。。
  • 帕卡尔

  • 参考7篇文章[sw09496]
  • PaCAL:Python包算术 计算随机变量。在本文中,我们提出。。。PaCAL,一个Python包算术的 计算关于随机变量。这个包可以。。。算术运算:加、减、乘、除以及计算许多标准函数。。。他们的结果插值允许任意算术对随机变量的操作几乎是任意概率的。。。
  • 打火石

  • 引用了55篇文章[sw00297]
  • 支持计算在数论中,包括多项式的高度优化例程算术线性代数。。。
  • 船体

  • 引用了76篇文章[sw11670]
  • facet通过“放置”。)程序也可以计算Delaunay三角剖分和阿尔法形状,还有体积。。。沃罗诺地区。程序使用精确算术如果可能的话,以中等速度处罚。(通常。。。