国际实验室

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


zbMATH中的参考文献(参考文献457篇文章,1标准件)

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

1 2 ... 21 22 23 下一个

  1. 朝日,太西;田中、和崎;Oishi,Shin'ichi:有界域上Hénon方程非对称解的数值验证(2022)
  2. 丘奇,凯文·E·M。;Duchesne,Gabriel William:脉冲时滞微分方程周期解的严格延拓(2022)
  3. 康斯坦丁诺,凯文;加西亚-阿兹佩蒂,卡洛斯;Lessard,Jean-Philippe:库仑((n+1))-体问题的空间相对平衡和周期解(2022)
  4. 李哲;张春雷:实矩阵有缺陷特征值多重性支持的证明(2022)
  5. 蔡,闭嘴;渡边,Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明(2021)
  6. 卡列亚,雷纳托;加西亚-阿兹佩蒂,卡洛斯;Lessard,让·菲利普;Mireles James,J.D.:(n)-身体问题中的圆环结编舞(2021)
  7. 卡里佐萨,埃米利奥;Messine,Frédéric:全局鲁棒优化的区间分枝定界法(2021)
  8. Church,Kevin E.M.:使用严格同伦延拓分析大流行关闭-重新开放周期:蒙特利尔COVID-19数据的案例研究(2021年)
  9. Church,Kevin E.M.:特征值和延迟微分方程:周期系数,脉冲和严格数值(2021)
  10. 丘奇,凯文·E·M。;Fortin,Clément:分析振动重力台球周期轨道的计算机辅助方法(2021)
  11. 艾希费尔德,加布里埃尔;基斯特,彼得;孟,劳拉;Stein,Oliver:连续全局多目标优化的一般分支定界框架(2021)
  12. 艾希费尔德,加布里埃尔;克拉姆罗斯,凯瑟琳;Niebling,Julia:基于过滤分枝定界的非凸约束优化(2021)
  13. Füllner,基督教;基斯特,彼得;Stein,Oliver:非线性等式约束下全局极小化的收敛上界(2021)
  14. 哈特曼,大卫;赫拉迪克,米兰;Říha,David:区间矩阵谱分解的计算与区间矩阵幂的研究(2021)
  15. 兰格,马尔科;Rump,Siegfried M.:通过对Wedin(\sin(\theta))定理的推广,验证了指定秩亏的最近矩阵的包含(2021)
  16. Lessard,让·菲利普;James,J.D.Mireles:时滞方程的严格隐式(C^1)Chebyshev积分(2021)
  17. 刘雪峰;中岛,三桥。;你,春光;Oishi,Shin'ichi:Stokes方程有限元解的显式后验和先验误差估计(2021)
  18. Miyajima,Shinya:两个矩阵几何平均值的验证计算(2021)
  19. Miyajima,Shinya:不可约非负矩阵Perron对的快速验证(2021)
  20. Miyajima,Shinya:矩阵Mittag-Leffler函数的计算外壳(2021)

1 2 ... 21 22 23 下一个