zbMATH中的参考文献（参考文献39条)

1. 莫吉塔巴莫尼里；Moniri，Saman:通过数值和符号混合计算的极限环及其周期检测（2020）
2. 纽曼，艾克；Steinberg二阶复杂度理论的应用研究
3. Rösnick Neugebauer，Carsten:闭集及其算子：表示、可计算性和复杂性（2018）
4. 布劳埃，弗兰兹；科罗维娜，玛格丽塔；Müller，Norbert:在精确实数运算中使用泰勒模型（2016）
5. 布劳埃，弗兰兹；科罗维娜，玛格丽塔；Müller，Norbert Th.：关于使用精确实数算法求解初值问题（2016）
6. 川端秀树；Iwasaki，Hideya:改进浮点数：数值计算自适应精度改进的懒惰方法（2016）
7. 杜拉茨，一月；法朱迪亚，阿明；科恩，米哈尔；Taha，Walid:函数区间算法（2014）
8. 赫特林，彼得；Spandl，Christoph:在多项式时间内计算Feigenbaum函数方程的解（2014）
9. 穆勒，诺伯特；Ziegler，Martin：《从微积分到无误差算法》（2014）
10. 杉山，麻岛；裕和，爱菊；徐木秀树；Yamamoto，Akihiro:通过分形用Hausdorff度量学习数字--走向可计算的二进制分类（2013）
11. 莱斯特，大卫R：世界上最短的正确精确实数运算程序？（2012年）
12. Spandl，Christoph:区间上迭代映射的计算复杂性（2012）
13. 伯杰，乌尔里希：从共导证明到精确实数运算：理论与应用（2011）
14. Farjudian，Amin:关于连续实函数的Kolmogorov复杂性（2011）
15. 布拉斯，安德烈亚斯；德肖维茨，纳库姆；古列维奇，尤里：精确探索和悬挂算法（2010）
16. 穆勒，诺伯特·斯。；科罗维娜，玛格丽塔：在轨迹上迈出大步（2010）
17. 于继勋；是啊，切；杜子霖；皮昂，西尔文；Brönnimann，Hervé：核心2的设计：几何和代数中精确数值计算的库（2010）
18. 鲍尔，安德烈；Kavkler，Iztok:适用于实现的连续域的构造性理论（2009）
19. 鲍尔，安德烈；保罗·泰勒：《抽象石二元性中的德德金王国》（2009）
20. 鲍尔，安德烈；Kavkler，Iztok:用RZ实现实数（2008）