缩醛

acaf：计算解析函数泰勒系数有效界的软件包。本文给出了解析函数泰勒系数验证界的实用计算方法。这些界是根据柯西估计和它的一些修改构造的。区间算法用于获得严格的结果。

这个软件也是同行评审按日记帐汤姆斯一。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考，1标准件)

显示结果1到7，共7个。
按年份排序(引用)

  1. Mezzarrobba，Marc:微分有限级数的截断界（2019）
  2. Chevilard，S.；Harrison，J.；Joldeş，M.；Lauter，Ch.：近似误差上界的有效和精确计算（2011年）
  3. mezzarrobba，Marc；Salvy，Bruno:P-递归序列的有效界（2010）
  4. Neher，Markus:使用大步骤验证线性（n）阶常微分方程的积分（2007）
  5. Kearfott，R.Baker；Neher，Markus；Oishi，Shin'ichi；Rico，Fabien:用于验证计算的库、工具和交互系统四个案例研究（2004）
  6. Eble，Ingo；Neher，Markus:Acaf:计算解析函数泰勒系数有效界的软件包（2003）
  7. 奈尔，M.：泰勒系数和泰勒余数级数的改进有效界（2003）