国际实验室

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


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

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

1 2 ... 22 23 24 下一个

  1. 朝日,太西;田中、和崎;Oishi,Shin'ichi:有界域上Hénon方程非对称解的数值验证(2022)
  2. 丘奇,凯文·E·M。;Duchesne,Gabriel William:脉冲时滞微分方程周期解的严格延拓(2022)
  3. 康斯坦丁诺,凯文;加西亚-阿兹佩蒂,卡洛斯;Lessard,Jean-Philippe:库仑((n+1))-体问题的空间相对平衡和周期解(2022)
  4. 杰奎特,乔纳森;Lessard,让·菲利普;Takayasu,Akitoshi:非保守非线性薛定谔方程的全局动力学(2022)
  5. 杰奎特,乔纳森;Lessard,让·菲利普;Takayasu,Akitoshi:具有二次非线性的复值演化方程的奇点和异宿联系(2022)
  6. 刘雪峰;中岛,三桥。;Oishi,Shin'ichi:三维区域上Navier-Stokes方程平稳解存在性的计算机辅助证明(2022)
  7. 李哲;张春雷:实矩阵有缺陷特征值多重性支持的证明(2022)
  8. 宫岛真二:矩阵伽马函数的验证计算(2022)
  9. Miyajima,Shinya:(\mathcalM)-张量多线性系统正解和一类弱不可约非负张量的Perron向量的快速验证计算(2022)
  10. 罗泽克先生,玛丽安;斯泽德尼基,罗马人;索普,贾斯汀;万纳,托马斯:组合动力学与经典动力学:重现(2022)
  11. 尼塔,科奇;山本信孝;Matsue,Kaname:指定同宿轨道作为局部Lyapunov函数应用的数值验证方法(2022)
  12. 田中、和崎;Asai,Taisei:椭圆边值问题解正性的后验检验(2022)
  13. 田中、和崎;梅子,迈克尔;塞金,库塔;Kashiwagi,Masahide;Oishi,Shin'ichi:带次方指数的Lane-Emden方程正解的严格数值封闭(2022)
  14. 范登伯格,简布韦;格罗塞德,克里斯;Lessard,Jean-Philippe:时滞微分问题周期解的计算机辅助证明的一般方法(2022)
  15. 范登伯格,简布韦;Queirolo,Elena:Kuramoto-Sivashinsky PDE中Hopf分叉的严格验证(2022)
  16. 布雷登,马克西姆;克莱尔,查奈斯·希尔莱雷特;Zurek,Antoine:扩散-泊松耦合模型行波解的存在性:计算机辅助证明(2021)
  17. 蔡,闭嘴;渡边,Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明(2021)
  18. 卡列亚,雷纳托;加西亚-阿兹佩蒂,卡洛斯;Lessard,让·菲利普;Mireles James,J.D.:(n)-身体问题中的圆环结编舞(2021)
  19. 卡里佐萨,埃米利奥;Messine,Frédéric:全局鲁棒优化的区间分枝定界法(2021)
  20. Church,Kevin E.M.:特征值和延迟微分方程:周期系数,脉冲和严格数值(2021)

1 2 ... 22 23 24 下一个