ACETAF: A software package for computing validated bounds for Taylor coefficients of analytic functions

被引:5
|
作者
Eble, I [1 ]
Neher, M [1 ]
机构
[1] Univ Karlsruhe, Inst Angew Math, D-76128 Karlsruhe, Germany
来源
关键词
algorithms; reliability; verification; analytic functions; bounds for Taylor coefficients;
D O I
10.1145/838250.838252
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This article presents methods for practical computation of verified bounds for Taylor coefficients of analytic functions. These bounds are constructed from Cauchy's estimate and from some of its modifications. Interval arithmetic is used to obtain rigorous results.
引用
收藏
页码:263 / 286
页数:24
相关论文
共 30 条