国际实验室

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

此软件的关键字

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

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

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

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

  1. Yamamura，Kiyotaka:用平行四边形LP检验求非线性方程组所有解的有效算法（2021）
  2. Alama，Yvonne Bronsard；Lessard，Jean-Philippe:带吸收的Kuramoto-Sivashinsky方程中的行波振荡模式（2020）
  3. Aurentz，Jared L.；Hashemi，Behnam:Laurent-Horner方法对Chebyshev展开式的有效评估（2020年）
  4. Bajaj，Ishan；Hasan，M.M.Faruque:使用边凹低估值的全局动态优化（2020）
  5. Bánhelyi，Balázs；Csendes，Tibor；Hatvani，László：关于阻尼强迫摆的不稳定上限环的存在性和稳定性（2020）
  6. Bozorgmanesh，Hassan；Hajarian，Masoud；Chronopoulos，Anthony Theodore:区间张量及其在求解多线性方程组中的应用（2020）
  7. 2020年在Florian/Matlab中实现的TaylorüODEs模型求解工具箱
  8. 程金三；窦晓洁；文君毅：一种新的检验多项式系统孤立奇异零点的方法（2020）
  9. 艾希费尔德，加布里埃尔；尼伯林，茱莉亚；罗克特谢尔，斯特凡：决策不确定性多目标优化的算法方法（2020）
  10. Hashimoto，Kouji；Kinoshita，Takehiko；Nakao，Mitsuhiro T.：非线性抛物问题解的数值验证（2020）
  11. Hoshi，Takeo；Ogita，Takeshi；Ozaki，Katsuhisa；Terao，Takeshi：大规模电子状态计算中广义实对称特征值问题的后验验证方法（2020）
  12. Imakura，Akira；Morikuni，Keiichi；Takayasu，Akitoshi:使用轮廓积分对Hermitian广义特征值问题进行验证的部分特征值计算（2020年）
  13. Kimura，Takuma；Minamoto，Teruya；Nakao，Mitsuhiro T.：热方程周期解全离散近似的构造性误差估计（2020）
  14. Kinoshita，Takehiko；Watanabe，Yoshitaka；Nakao，Mitsuhiro T.：无限维Hilbert空间上紧算子预解式的一些下界估计（2020）
  15. Lange，Marko；Rump，Siegfried M.：忠实的四舍五入浮点计算（2020）
  16. Lessard，J.P.；Mireles-James，J.D.：延迟方程特征值验证数值的函数分析方法（2020）
  17. 刘雪峰：对称半正定双线性形式定义的微分算子的显式特征值界（2020）
  18. Minamihata，Atsushi；Ogita，Takeshi；Rump，Siegfried M.；Oishi，Shin'ichi:稠密线性系统近似解的修正误差界（2020）
  19. 宫岛真二：包围摩尔-彭罗斯倒影（2020）
  20. Nigam，Nilima；Siudeja，Bartłomiej；Young，Benjamin:Schiffer猜想在规则五角大楼上的有限元证明（2020）

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