国际实验室

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


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

显示439个结果中的1到20个。
按年份排序(引用)

1 2 ... 20 21 22 下一个

  1. 蔡,闭嘴;渡边,Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明(2021)
  2. 卡列亚,雷纳托;加西亚-阿兹佩蒂,卡洛斯;Lessard,让·菲利普;Mireles James,J.D.:(n)-身体问题中的圆环结编舞(2021)
  3. 丘奇,凯文·E·M。;Fortin,Clément:分析振动重力台球周期轨道的计算机辅助方法(2021)
  4. 艾希费尔德,加布里埃尔;基斯特,彼得;孟,劳拉;Stein,Oliver:连续全局多目标优化的一般分支定界框架(2021)
  5. 艾希费尔德,加布里埃尔;克拉姆罗斯,凯瑟琳;Niebling,Julia:基于过滤分枝定界的非凸约束优化(2021)
  6. Füllner,基督教;基斯特,彼得;Stein,Oliver:非线性等式约束下全局极小化的收敛上界(2021)
  7. 兰格,马尔科;Rump,Siegfried M.:通过对Wedin(\sin(\theta))定理的推广,验证了指定秩亏的最近矩阵的包含(2021)
  8. Miyajima,Shinya:两个矩阵几何平均值的验证计算(2021)
  9. 宫岛真二:矩阵实幂的验证计算(2021)
  10. Miyajima,Shinya:矩阵Mittag-Leffler函数的计算外壳(2021)
  11. 桑德,伊芙琳;Wanner,Thomas:基于Sobolev嵌入的模式形成模型的平衡验证(2021)
  12. 提提,圣战;Garloff,Jürgen:矩形区域上复多项式范围的界(2021)
  13. 范登伯格,简布韦;布雷登,马克西姆;Lessard,让·菲利普;van Veen,Lennaert:Navier-Stokes流中的自发周期轨道(2021)
  14. 范登伯格,简布韦;Queirolo,Elena:多项式ODE系统中周期轨道延拓的一般框架(2021)
  15. Yamamura,Kiyotaka:用平行四边形LP检验求非线性方程组所有解的有效算法(2021)
  16. 阿拉玛,伊冯·布朗萨;Lessard,Jean-Philippe:带吸收的Kuramoto-Sivashinsky方程中的行波振荡模式(2020)
  17. 奥伦茨,贾里德·L。;Hashemi,Behnam:Laurent-Horner方法对Chebyshev展开式的有效评估(2020)
  18. 巴贾吉,伊山;Hasan,M.M.Faruque:使用边凹估计量的全局动态优化(2020)
  19. 班赫莱伊,巴尔萨斯;塞恩德斯,提博;哈特瓦尼,László:关于阻尼强迫摆的不稳定上限环的存在性和稳定性(2020)
  20. 波佐格曼尼什,哈桑;哈贾里安,马苏德;Chronopoulos,Anthony Theodore:区间张量及其在求解多线性方程组中的应用(2020)

1 2 ... 20 21 22 下一个