国际实验室

此软件的关键字
zbMATH中的参考文献(参考文献 471篇文章 , 1标准件 )
朝日,太西; 田中、和崎; Oishi,Shin'ichi:有界域上Hénon方程非对称解的数值验证(2022) 丘奇,凯文·E·M。; Duchesne,Gabriel William:脉冲时滞微分方程周期解的严格延拓(2022) 康斯坦丁诺,凯文; 加西亚-阿兹佩蒂,卡洛斯; Lessard,Jean-Philippe:库仑((n+1))-体问题的空间相对平衡和周期解(2022) 杰奎特,乔纳森; Lessard,让·菲利普; Takayasu,Akitoshi:非保守非线性薛定谔方程的全局动力学(2022) 杰奎特,乔纳森; Lessard,让·菲利普; Takayasu,Akitoshi:具有二次非线性的复值演化方程的奇点和异宿联系(2022) 刘雪峰; 中岛,三桥。; Oishi,Shin'ichi:三维区域上Navier-Stokes方程平稳解存在性的计算机辅助证明(2022) 李哲; 张春雷:实矩阵有缺陷特征值多重性支持的证明(2022) 宫岛真二:矩阵伽马函数的验证计算(2022) Miyajima,Shinya:(\mathcalM)-张量多线性系统正解和一类弱不可约非负张量的Perron向量的快速验证计算(2022) 罗泽克先生,玛丽安; 斯泽德尼基,罗马人; 索普,贾斯汀; 万纳,托马斯:组合动力学与经典动力学:重现(2022) 尼塔,科奇; 山本信孝; Matsue,Kaname:指定同宿轨道作为局部Lyapunov函数应用的数值验证方法(2022) 田中、和崎; Asai,Taisei:椭圆边值问题解正性的后验检验(2022) 田中、和崎; 梅子,迈克尔; 塞金,库塔; Kashiwagi,Masahide; Oishi,Shin'ichi:带次方指数的Lane-Emden方程正解的严格数值封闭(2022) 范登伯格,简布韦; 格罗塞德,克里斯; Lessard,Jean-Philippe:时滞微分问题周期解的计算机辅助证明的一般方法(2022) 范登伯格,简布韦; Queirolo,Elena:Kuramoto-Sivashinsky PDE中Hopf分叉的严格验证(2022) 布雷登,马克西姆; 克莱尔,查奈斯·希尔莱雷特; Zurek,Antoine:扩散-泊松耦合模型行波解的存在性:计算机辅助证明(2021) 蔡,闭嘴; 渡边,Yoshitaka:Kolmogorov问题对称破缺分岔点存在性的计算机辅助证明(2021) 卡列亚,雷纳托; 加西亚-阿兹佩蒂,卡洛斯; Lessard,让·菲利普; Mireles James,J.D.:(n)-身体问题中的圆环结编舞(2021) 卡里佐萨,埃米利奥; Messine,Frédéric:全局鲁棒优化的区间分枝定界法(2021) Church,Kevin E.M.:特征值和延迟微分方程:周期系数,脉冲和严格数值(2021)