亚拉 swMATH ID: 33228 软件作者: 基尔,南卡罗来纳州 描述: YalAA-仿射算术的又一个库。YalAA是一个面向对象的基于C++的仿射算法(AA)模板库。与区间算术(IA)类似,此计算模型允许我们推导函数余域的边界。与IA相比,AA在计算过程中跟踪一阶依赖关系,这通常会以增加计算工作量为代价,导致余域上的边界更紧。 主页: http://www.scg.inf.uni-due.de/fileadmin/Projekte/YalAA/ 相关软件: IbexOpt公司;V形夹;伊波特;C-XSC 2.0版 引用于: 0个文档