国际实验室

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


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

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

1 2 ... 22 23 24 下一个

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

1 2 ... 22 23 24 下一个