阿诺德·诺伊梅尔 泰勒表格–使用和限制。 （英语） Zbl 1071.65070号 Reliab公司。计算。 9，第1期，43-79（2003）. 摘要：这篇综述是对最近关于可靠计算邮件列表的讨论的回应，也是对Taylor形式的性质和优点的持续不确定性、中心形式的多元高阶推广的回应。它们是由O.F.兰福德III[美国数学学会公牛，新系列6，427–434（1982；Zbl 0487.58017号); 《物理学A》124465–470（1984；Zbl 0599.58036号)]，由详细记录J.-P.埃克曼，H.科赫、和P.维特尔【面积保持地图通用性的计算机辅助证明，Mem.Am.Math.Soc.47，No.289（1984）】，并由独立研究和推广M.贝茨和K.牧野[信实计算，第5号，第1期，第13–22页（1999年；Zbl 0947.65026号); 同上，第4号，361-369（1998年；Zbl 0976.65061号)]和依据M.贝茨，K.马基诺和J.霍夫肯斯[非线性分析，理论方法应用47，第1期，179-190（2001；Zbl 1042.70501号)]. 其中一个亮点是它们在2001年应用于太阳系小行星动力学的验证整合。除了总结Taylor形式的定义和作用外，本文还将其置于更传统的方法，特别是中心形式的视角下，讨论其主要应用，并分析其一些基本性质。特别强调高估特性和包裹效应。故意尝试提供价值陈述并提供适当的理由；但所有给出的意见都是我自己的，可能会引起争议。 引用于37文件 MSC公司： 65G30型 区间和有限算术 65G20个 具有自动结果验证的算法 关键词：可靠计算;居中形式;泰勒形式 引文：Zbl 1042.70501号;Zbl 0487.58017号;Zbl 0599.58036号;Zbl 0947.65026号;Zbl 0976.65061号 PDF格式BibTeX公司 XML格式引用 \textit{A.Neumaier}，Reliab（信实）。计算。9，第1号，43-79（2003年；兹bl 1071.65070） 全文： 内政部