zbMATH中的参考文献（参考文献7条,1标准件)

1. Mezzarrobba，Marc:微分有限级数的截断界（2019）
2. 切维拉德S。；哈里森，J。；约尔德，米。；Lauter，Ch.：有效和精确计算近似误差上界（2011）
3. 梅札罗巴，马克；Salvy，Bruno:P-递归序列的有效界（2010）
4. Neher，Markus:使用大步骤验证线性（n）阶常微分方程的积分（2007）
5. 基尔福特，R.贝克；奈尔，马库斯；大石，新一；Rico，Fabien:用于验证计算的库、工具和交互系统四个案例研究（2004）
6. 伊布勒，因果；Neher，Markus:acaf：计算解析函数泰勒系数有效界的软件包（2003）
7. 奈尔，M.：泰勒系数和泰勒余数级数的改进有效界（2003）