间隔

实值区间算术

最新软件包版本

版本

3.2.1

日期

2022-01-28

作者

奥利弗·海姆利希<oheim@posteo.de>

维护人员

奥利弗·海姆利希<oheim@posteo.de公司>

许可证

GPL-3.0标准+

组

社区套餐

下载 新闻函数引用程序包文档

描述

实值区间算法的区间包允许对函数的域子集进行求值。所有结果都会得到验证，因为间隔计算会自动跟踪任何错误。

这些概念可用于处理不确定性、估计算术误差并产生可靠的结果。它还可以应用于计算机辅助证明、约束编程和验证计算。

该实现基于二进制64数字表示的区间边界，并符合IEEE Std 1788-2015，IEEE区间算法标准。