A simple numerical verification method for differential equations based on infinite dimensional sequential iteration
- 期刊名称Nonlinear Theory and Its Applications, IEICE
- 作者Watanabe, Yoshitaka
- 卷第4卷
- 期第1期
- 电子ISSN2185-4106
- 文件大小767.95KB
- 发表时间2013
- DOI10.1587/nolta.4.23
- 页码23-33
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert SpacesWatanabe, Yoshitaka; Nagatou, Kaori; Plum, Michael; Nakao, Mitsuhiro T. · SIAM Journal on Numerical Analysis · 2014
Norm bound computation for inverses of linear operators in Hilbert spacesWatanabe, Yoshitaka; Nagatou, Kaori; Plum, Michael; Nakao, Mitsuhiro T. · Journal of Differential Equations · 2016
Fast high precision summationRump, Siegfried M.; Ogita, Takeshi; Oishi, Shin'ichi · Nonlinear Theory and Its Applications, IEICE · 2010
Detecting generalized synchronizationParlitz, Ulrich · Nonlinear Theory and Its Applications, IEICE · 2012
Discrete breathers in a nutshellFlach, Sergej · Nonlinear Theory and Its Applications, IEICE · 2012
Synchronization analysis of choir singingTokuda, Isao; Kuwahara, Akihiro · Nonlinear Theory and Its Applications, IEICE · 2012
Greetings and ForewordSato, Yuzuru; Putkaradze, Vakhtang · Nonlinear Theory and Its Applications, IEICE · 2014
Chaotic billiard dynamics for herdingSuzuki, Hideyuki · Nonlinear Theory and Its Applications, IEICE · 2015
Special section on bifurcationsSaito, Toshimichi · Nonlinear Theory and Its Applications, IEICE · 2012
Modeling communication dynamicsDavis, Peter · Nonlinear Theory and Its Applications, IEICE · 2014