国际实验室

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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 下一个