缩醛

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