乔治·柯利斯（George F.Corliss）。；R.Baker Kearfott先生；内迪亚尔科夫；约翰·普莱斯。；斯宾塞·史密斯 间隔子程序库任务。 （英语） Zbl 1165.65407号 Hertling，Peter（ed.）等人，实数算法的可靠实现：理论与实践。2006年1月8日至13日，德国达格斯图尔城堡国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-85520-0/pbk）。《计算机科学讲义》5045，28-43（2008）。 摘要：我们建议收集、标准化和分发一个功能齐全、具有生产质量的库，用于可靠的科学计算，并使用区间技术的例程，供广泛的应用程序开发人员使用。关于整个系列，请参见[Zbl 1152.65006号]. MSC公司： 65岁99岁 数值算法的计算机方面 65G30型 区间和有限算术 软件：LAPACK公司；C-XSC 2.0版；天然气液化；SLTSTPAK公司；监狱；SLDRIVER系列；国际实验室；斯拉特克；PETSc公司；细屑++；个人资料/偏差；椰子；促进；IVP解算器测试集 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Corliss}等人，Lect。注释计算。科学。5045、28-43（2008年；Zbl 1165.65407） 全文： 内政部 链接