间隔工具 Mathematica代码，用于处理无限精度的Interval对象。 Mathematica具有对区间对象的内置处理，例如Interval [{1,3}]是从1到3的实数的闭合区间。此包扩展了它们的使用，假定端点的精度为无限，并实现了的区间版本牛顿的方法，用于寻找全局最小值的Moore-Skelboe算法和ProveNonNegative（严格验证表达式为非负数的函数）。 元数据 Author: Kevin O'Bryant Date: May 7, 2020 Lic