诺伯特·米勒；马丁·齐格勒 从微积分到没有错误的算法。 （英语） Zbl 1402.65039号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44198-5/pbk）。计算机科学课堂讲稿8592718-724（2014）。 摘要：在计算机软件中使用数学几乎总是需要用实数（或复数）进行计算。然而，实现通常只使用64位双精度数据类型。即使对于数学上正确的算法，这也可能导致严重的稳定性问题。有很多方法可以减少这些软件引起的稳定性问题，例如四重或多精度数据类型、区间算法，甚至符号计算。我们传播精确实数算法（ERA），将其作为一种方便且实用的严格数值算法框架。有关整个系列，请参见[Zbl 1293.65003号]. MSC公司： 65Gxx型 误差分析和区间分析 68瓦30 符号计算和代数计算 关键词：递归分析；严格数学 软件：国际RRAM PDF格式BibTeX公司 XML格式引用 \textit｛N.Müller｝和\textit｛M.Ziegler｝，勒克特。票据计算。科学。8592、718--724（2014；Zbl 1402.65039） 全文： 内政部