国际实验室

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

此软件的关键字

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

zbMATH中的参考文献（参考 409篇文章，1标准件)

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

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

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

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