国际实验室

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

此软件的关键字

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

zbMATH中的参考文献（参考 406篇文章，第1条标准)

显示401到406个结果。
按年份排序(引用)

1 2 三 ... 19 20 21 下一个

  1. Alama，Yvonne Bronsard；Lessard，Jean-Philippe:带吸收的Kuramoto-Sivashinsky方程中的行波振荡模式（2020）
  2. Bajaj，Ishan；Hasan，M.M.Faruque:使用边凹低估值的全局动态优化（2020）
  3. Bánhelyi，Balázs；Csendes，Tibor；Hatvani，László：关于阻尼强迫摆的不稳定上限环的存在性和稳定性（2020）
  4. Bünger，Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱（2020）
  5. 程金三；窦晓洁；文君毅：一种新的检验多项式系统孤立奇异零点的方法（2020）
  6. 艾希费尔德，加布里埃尔；尼伯林，茱莉亚；罗克特谢尔，斯特凡：决策不确定性多目标优化的算法方法（2020）
  7. Takeshi，Takeo-Takei，2020年的广义特征值计算；Takeo-Takei-Takei-state的广义特征值计算方法
  8. Imakura，Akira；Morikuni，Keiichi；Takayasu，Akitoshi:使用轮廓积分对Hermitian广义特征值问题进行验证的部分特征值计算（2020年）
  9. Kimura，Takuma；Minamoto，Teruya；Nakao，Mitsuhiro T.：热方程周期解全离散近似的构造性误差估计（2020）
  10. Kinoshita，Takehiko；Watanabe，Yoshitaka；Nakao，Mitsuhiro T.：无限维Hilbert空间上紧算子预解式的一些下界估计（2020）
  11. 刘雪峰：对称半正定双线性形式定义的微分算子的显式特征值界（2020）
  12. Minamihata，Atsushi；Ogita，Takeshi；Rump，Siegfried M.；Oishi，Shin'ichi:稠密线性系统近似解的修正误差界（2020）
  13. 宫岛真二：包围摩尔-彭罗斯倒影（2020）
  14. Rump，Siegfried M.：实或复点或区间矩阵行列式的验证界（2020）
  15. Stanimirović，Predrag S.；Roy，Falguni；Gupta，Dharmendra K.；Srivastava，Shwetabh:使用其误差边界计算Moore-Penrose逆（2020）
  16. Tanaka，Kazuaki:椭圆问题正解的数值验证方法（2020）
  17. van den Berg，Jan Bouwe；Sheombarsing，Ray:多项式向量场中连接轨道的有效计算（2020）
  18. Watanabe，Yoshitaka；Kinoshita，Takehiko；Nakao，Mitsuhiro T.：二阶线性椭圆算子可逆性验证的一些改进（2020）
  19. 杨正峰；吴敏；林，王：不确定非线性混合系统障碍证书生成的有效框架（2020）
  20. 赵继松；李，双：基于插值误差分析和改进数据压缩的最优控制问题的自适应网格细化方法（2020）

1 2 三 ... 19 20 21 下一个