范登伯格、扬·布韦;克里斯·格罗塞德;Jean-Philippe Lessard 时滞微分问题周期解的计算机辅助证明的一般方法。 (英语) Zbl 1504.34191号 J.戴恩。不同。方程 34,编号2,853-896(2022). 审核人:阿尔贝·加拉布(克拉根福) MSC公司:34K13型 65G99型 47N20号 PDF格式BibTeX公司 XML格式引用 \textit{J.B.van den Berg}等人,J.Dyn。不同。等式34,No.2,853--896(2022;Zbl 1504.34191) 全文: DOI程序 链接
范登伯格、扬·布韦;Ray Sheombarsing先生 多项式向量场中连接轨道的验证计算。 (英语) Zbl 1439.34048号 印度。数学。,新序列号。 31,第2号,310-373(2020).MSC公司:34立方37 47N20号 34立方厘米 37M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.van den Berg}和\textit{R.Sheombarsing},印度。数学。,新序列号。31,第2号,310-373(2020;Zbl 1439.34048) 全文: DOI程序 arXiv公司
武彦基诺西塔;渡边吉隆;Nakao,Mitsuhiro T。 无穷维希尔伯特空间上紧算子预解式的一些下界估计。 (英语) Zbl 1498.47014号 J.计算。申请。数学。 369,文章ID 112561,8 p.(2020). 审核人:科斯蒂克·莫罗沙努(Iaši) MSC公司:第47页第10页 47B02型 47B07型 35B45码 35A35型 47G10型 65N30型 35J25型 第35页第61页 PDF格式BibTeX公司 XML格式引用 \textit{T.Kinoshita}等人,《计算杂志》。申请。数学。369,文章ID 112561,8 p.(2020;Zbl 1498.47014) 全文: DOI程序
罗伯特·卡斯泰利;莫里齐奥·加里奥内 关于Brillouin奇异方程的一些意外结果:周期解的折叠分歧。 (英语) Zbl 1415.34078号 J.差异。方程 265,第6期,2502-2543(2018). 审核人:亚历山德罗·卡拉梅(安科纳) MSC公司:34C25型 34B16号 37米20 34C23型 47N20号 PDF格式BibTeX公司 XML格式引用 \textit{R.Castelli}和\textit{M.Garrione},J.Differ。方程式265,No.6,2502--2543(2018;Zbl 1415.34078) 全文: DOI程序
伊琳娜·米特里亚;凯瑟琳·奥特;沃里克·塔克 二维无限扇区上Lamé和Stokes系统奇异积分算子的可逆性。 (英语) Zbl 1381.35032号 积分方程运算。理论 89,第2期,151-207(2017). 审核人:帕特里克·温克特(柏林) MSC公司:35J25型 35J47型 42A38型 45E05型 45B05型 PDF格式BibTeX公司 XML格式引用 \textit{I.Mitrea}等人,积分方程操作。理论89,第2期,151-207(2017;Zbl 1381.35032) 全文: DOI程序
Jean-Philippe Lessard ODE中鞍节点分支的严格验证。 (英语) Zbl 1351.34045号 印度。数学。,新序列号。 27,第4期,1013-1026(2016).MSC公司:34C23型 37米20 47N20号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Lessard},印度。数学。,新序列号。27,第4号,1013--1026(2016;Zbl 1351.34045) 全文: DOI程序
Gábor接吻;Jean-Philippe Lessard 多时滞微分时滞方程的计算不动点理论。 (英语) Zbl 1247.34119号 J.差异。方程 252,编号43093-3115(2012). 审核人:阿德里亚娜·布伊奇(Cluj-Napoca) MSC公司:34K13型 47N20号 PDF格式BibTeX公司 XML格式引用 \textit{G.亲吻}和\textit{J.-P.莱斯萨尔},J.Differ。方程式252,No.4,3093--3115(2012;Zbl 1247.34119) 全文: DOI程序
范登伯格、扬·布韦;米雷斯·詹姆斯(Jason D.Mireles-James)。;Jean-Philippe Lessard;康斯坦丁·米柴科夫 对称连接轨道的严格数值:Gray-Scott方程的偶数同宿。 (英语) Zbl 1231.34081号 SIAM J.数学。分析。 第4期第43页,1557-1594页(2011年).MSC公司:34立方37 34A45型 34B15号机组 47N20号 PDF格式BibTeX公司 XML格式引用 \textit{J.B.van den Berg}等人,SIAM J.数学。分析。43,第4号,1557--1594(2011;Zbl 1231.34081) 全文: DOI程序
普鲁姆,迈克尔 半线性椭圆边值问题的计算机辅助证明。 (英语) Zbl 1186.35073号 日本J.Ind.Appl。数学。 26,编号2-3,419-442(2009).MSC公司:第35页第61页 35J25型 47N20号 65号35 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Plum},日本J.Ind.Appl。数学。26,编号2--3419--442(2009;Zbl 1186.35073) 全文: DOI程序 欧几里得
巴布什卡,伊沃;刘康曼 Fredholm积分方程解的区间算术误差估计。 (英语) Zbl 1165.65085号 国际期刊计算。数学。 86,第3号,549-566(2009). 审核人:Günter Mayer(罗斯托克) MSC公司:65兰特 45B05型 65G30型 PDF格式BibTeX公司 XML格式引用 \textit{I.Babuška}和\textit{K.-M.Liu},国际计算机杂志。数学。86,第3号,549--566(2009;Zbl 1165.65085) 全文: DOI程序