国际实验室

INTLAB是用于可靠计算和自验证算法的Matlab工具箱。它包括稠密线性系统(也包括内部包含和结构化矩阵)稀疏s.p.d.线性系统的非线性方程组(包括无约束优化)一元和多元非线性方程组的根(简单和群集)特征值问题(简单和群集,也包括内部包含和结构化矩阵)一元函数的广义特征值问题(简单和群集)求积一元多项式零点(简单和群集)实际和复杂数据的区间算法包括向量和矩阵(非常快速)实数和复稀疏矩阵的区间算法(非常快速)自动微分(正向模式,矢量化计算,快速)梯度(求解非线性方程组)Hessians(用于全局优化)一元函数的泰勒级数自动斜率(序贯法,多变量慢)验证了(简单)单变量函数和多元(区间)多项式的积分严格的实区间标准函数(快速,非常精确,3 ULP)严格的复杂区间标准函数(快速,严格,但不一定是锐利包含)严格的输入/输出(外部和内部包含)精确求和,点乘和矩阵向量残差(解释,参考实现,慢)带误差边界的多精度区间算法(做工作,慢)


zbMATH中的参考文献,1标准件)

显示结果1到20,共417个。
按年份排序(引用)

1 2 ... 19 20 21 下一个

  1. Yamamura,Kiyotaka:用平行四边形LP检验求非线性方程组所有解的有效算法(2021)
  2. Alama,Yvonne Bronsard;Lessard,Jean-Philippe:带吸收的Kuramoto-Sivashinsky方程中的行波振荡模式(2020)
  3. Aurentz,Jared L.;Hashemi,Behnam:Laurent-Horner方法对Chebyshev展开式的有效评估(2020年)
  4. Bajaj,Ishan;Hasan,M.M.Faruque:使用边凹低估值的全局动态优化(2020)
  5. Bánhelyi,Balázs;Csendes,Tibor;Hatvani,László:关于阻尼强迫摆的不稳定上限环的存在性和稳定性(2020)
  6. Bozorgmanesh,Hassan;Hajarian,Masoud;Chronopoulos,Anthony Theodore:区间张量及其在求解多线性方程组中的应用(2020)
  7. Bünger,Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱(2020)
  8. 程金三;窦晓洁;文君毅:一种新的检验多项式系统孤立奇异零点的方法(2020)
  9. 艾希费尔德,加布里埃尔;尼伯林,茱莉亚;罗克特谢尔,斯特凡:决策不确定性多目标优化的算法方法(2020)
  10. Hashimoto,Kouji;Kinoshita,Takehiko;Nakao,Mitsuhiro T.:非线性抛物问题解的数值验证(2020)
  11. Hoshi,Takeo;Ogita,Takeshi;Ozaki,Katsuhisa;Terao,Takeshi:大规模电子状态计算中广义实对称特征值问题的后验验证方法(2020)
  12. Imakura,Akira;Morikuni,Keiichi;Takayasu,Akitoshi:使用轮廓积分对Hermitian广义特征值问题进行验证的部分特征值计算(2020年)
  13. Kimura,Takuma;Minamoto,Teruya;Nakao,Mitsuhiro T.:热方程周期解全离散近似的构造性误差估计(2020)
  14. Kinoshita,Takehiko;Watanabe,Yoshitaka;Nakao,Mitsuhiro T.:无限维Hilbert空间上紧算子预解式的一些下界估计(2020)
  15. Lange,Marko;Rump,Siegfried M.:忠实的四舍五入浮点计算(2020)
  16. Lessard,J.P.;Mireles-James,J.D.:延迟方程特征值验证数值的函数分析方法(2020)
  17. 刘雪峰:对称半正定双线性形式定义的微分算子的显式特征值界(2020)
  18. Minamihata,Atsushi;Ogita,Takeshi;Rump,Siegfried M.;Oishi,Shin'ichi:稠密线性系统近似解的修正误差界(2020)
  19. 宫岛真二:包围摩尔-彭罗斯倒影(2020)
  20. Rump,Siegfried M.:实或复点或区间矩阵行列式的验证界(2020)

1 2 ... 19 20 21 下一个