zbMATH中的参考文献（参考文献14条,1标准件)

1. 川端秀树；Iwasaki，Hideya:改进浮点数：数值计算自适应精度改进的懒惰方法（2016）
2. 伯杰，乌尔里希：从共导证明到精确实数运算：理论与应用（2011）
3. Farjudian，Amin:关于连续实函数的Kolmogorov复杂性（2011）
4. 布拉斯，安德烈亚斯；德肖维茨，纳库姆；古列维奇，尤里：精确探索和悬挂算法（2010）
5. 鲍尔，安德烈；Kavkler，Iztok:适用于实现的连续域的构造性理论（2009）
6. 鲍尔，安德烈；Stone，Christopher A.：RZ：一种使构造性和可计算数学更接近编程实践的工具（2009）
7. 鲍尔，安德烈；保罗·泰勒：《抽象石二元性中的德德金王国》（2009）
8. 鲍尔，安德烈；Kavkler，Iztok:用RZ实现实数（2008）
9. 法朱迪亚，阿明；Konečný，Michal:域理论Picard方法的时间复杂性和收敛性分析（2008）
10. Lambov，Branimir:使用SSE-2的区间算法（2008）
11. 鲍尔，安德烈；Stone，Christopher A.：RZ：一种使构造性和可计算数学更接近编程实践的工具（2007）
12. Bertot，Yves:仿射函数与共归纳实数级数（2007）
13. Lambov，Branimir:RealLib:精确实数运算的有效实现（2007）
14. 范德霍文，乔里斯：《Mmxlib中的有效实数》（2006）