布兰尼米尔·兰博夫 RealLib：精确实数运算的有效实现。 （英语） Zbl 1112.65137号 数学。结构。计算。科学。 17，第1期，81-98（2007）. 摘要：本文介绍用于精确实数计算的RealLib包。该库提供了经认证的精度，但对于不需要更高精度的问题，它试图以接近硬件浮点的性能来实现这一点。本文给出了该库设计的动机和特点，并将其与其他包进行了比较，以获得精确的实数算法。 引用于9文件 MSC公司： 65日元 数值算法的封装方法 65G30型 区间和有限算术 关键词：数值示例；有限算术；RealLib包；精确实数计算；硬件浮点 软件：真实图书馆；PNM公司；LBNL公司；xrc公司；国际RRAM PDF格式BibTeX公司 XML格式引用 \textit{B.Lambov}，数学。结构。计算。科学。17，编号1，81--98（2007；Zbl 1112.65137） 全文： 内政部