国际实验室

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