区间优化工具以及程序，INTLAB完全是用Matlab编写的.自我验证方法 密集的线性系统（也包括内部包含和结构化矩阵） 稀疏的spd线性系统 非线性方程组 几个全球性例程： 非线性方程组的所有根 验证了全局优化 验证约束全局优化 参数识别 单变量和多变量非线性方程的根（简单和集群） 特征值问题（简单和集群，也包含内部包含和结构化矩阵） 广义特征值问题（简单和集群） 正交用于单变量函数 单变量多项式零（简单和群集） 前向和后向FFT 包含向量和矩阵的实数和复数数据的区间算法（非常快） 实数和复数稀疏矩阵的区间算法（非常快） 仿射算法包括向量和矩阵 渐变使用仿射算法 Hessians使用仿射算术