AERN公司 swMATH编号： 9495 软件作者： Michal Konecny公司 描述： AERN（近似精确实数）。一个Haskell库，用于严格精确的实数和实函数计算。AERN旨在简化对实数、（分段连续）实函数和区间函数的严格和精确计算程序。目前，AERN在严格的ODE求解和混合系统仿真中包含一些应用。AERN是用Haskell编写的，因为它注重可靠性、灵活性和可重用性。所采用的主要技术是Kaucher算法和函数的自动多项式逼近。 主页： http://michalkonecny.github.io/aern/_site/index.html 关键词： 区间算术;多项式近似;精确实数计算 相关软件： PolyPaver公司;国际RRAM 引用于： 1文件 4位作者引用 1 简·杜拉茨 1 阿明·法朱迪安 1 米查尔·科内奇 1 瓦利德·塔哈 0连载引用 在1个字段中引用 1 数值分析（65-XX） 按年份列出的引文