国际图书馆

此软件的关键字
zbMATH中的参考文献(参考文献 29条 , 1标准件 )
Rump,Siegfried M.:浮点运算中的数学严格全局优化(2018) 斯温特,詹姆斯E.:矩阵代数。 统计学理论、计算与应用(2017) 冈萨尔维斯,M.L.N。; 梅洛,J.G。; Prudence,L.F.:可能不可行非线性规划的增广拉格朗日方法(2015) 例如,伯金。; 马丁内斯,J.M。; Prudence,L.F.:全局非线性规划的可能不可行和有限终止的增广拉格朗日函数(2014) Rump,Siegfried M.:稠密线性系统的精确解。 二: 使用定向舍入的算法(2013) Rump,Siegfried M.:快速区间矩阵乘法(2012) Kearfott,Ralph Baker:区间计算,确定性连续全局优化中的严格性和非严格性(2011) 例如,伯金。; 弗洛达斯,加州。; Martínez,J.M.:使用具有可变低层约束的增广拉格朗日方法的全局最小化(2010) 斯特拉迪格拉纳多斯,贝尼托A。; Haven,Emmanuel:区间算法在求解基于非线性理性预期的多周期产出膨胀过程模型中的应用:以in/GB方法为例(2010) 臀部,齐格弗里德M。; Zimmermann,保罗; 波尔多,西尔维; Melquiond,Guillaume:四舍五入中的计算前辈和后继者(2009) 普赖斯,J.D。; Corliss,G.F.:包含集的区间算术(2006) 雷沃,娜塔莉; Rouillier,Fabrice:任意精度区间算法的动机和MPFI库(2005) 渡边,吉中; 山本信孝; 中岛,三桥。; Nishida,Takaki:对流热问题非平凡解的数值验证(2004) 霍夫舒斯特,沃纳; Krämer,Walter:网络上的数学函数软件——这些代码对验证算法有用吗? (2000年) Rump,Siegfried M.:快速并行区间算法(1999) 胡成义:大规模一般稀疏非线性方程组的并行解。 (1996年) ioport公司 Kearfott,R.Baker:严格的全局搜索:连续问题(1996) Kearfott,R.Baker:算法763:区间(-)算术:区间数据类型的Fortran 90模块(1996) Kearfott,R.Baker:用于全局优化和非线性系统解算器的非光滑函数的区间扩张(1996) 舒尔特,迈克尔J。; 斯瓦茨兰德,厄尔E.琼:可变精度,区间算术协处理器(1996)