沃里克·塔克 行人验证数字。 （英语） Zbl 1104.65311号 Ari Laptev（编辑），第四届欧洲数学大会（ECM）会议记录，瑞典斯德哥尔摩，2004年6月27日至7月2日。苏黎世：欧洲数学学会（EMS）（ISBN 3-03719-009-4/hbk）。851-860 (2005). 小结：本文的目的是对验证数字的新兴领域作一个非常简要的介绍。这是一个快速发展的研究领域，面临着计算机科学与纯数学相互结合的挑战。大多数经过验证的数值是基于区间分析的，它允许用户在计算机辅助证明中解释舍入和离散化错误。我们通过将众所周知的二分法转换为有效且经验证的根查找器来说明这些技术的优势。关于整个系列，请参见[兹比尔1064.00004]. 引用于5文件 MSC公司： 65G20个 具有自动结果验证的算法 65小时05 单方程解的数值计算 PDF格式BibTeX公司 XML格式引用 \textit{W.Tucker}，in：第四届欧洲数学大会（ECM）会议记录，瑞典斯德哥尔摩，2004年6月27日-7月2日。苏黎世：欧洲数学学会（EMS）。851--860（2005；Zbl 1104.65311）