All 2015 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other
All Journal Article Presentation
Japan Journal of Industrial and Applied Mathematics
Volume: 52 Pages: 19-31
Numerical Functional Analysis and Optimization
Volume: 33 Pages: 1195-1220
Proceedings of the Royal Society London Series A Math. Phy. Eng. Sci.
Volume: 468 Pages: 545-562
Nonlinear Theory and Its Applications, IEICE "on" Recent Progress in Verified Numerical Computations
Volume: Vol.2, No.1 Pages: 111-122
Nonlinear Theory and Its Applications, IEICE
Volume: Vol.2, No.1 Pages: 123-127
Volume: 2 Pages: 123-127
a special issue of "Nonlinear Theory and Its Applications, IEICE" on "Recent Progress in Verified Numerical Computations"
Volume: Vol.2,No.1 Pages: 111-122
Volume: 2 Pages: 111-122
Annals of functional Analysis 1
Volume: No.2 Pages: 1-6
京都大学数理解析研究所講究録
Volume: Vol.1719 Pages: 118-129
Annals of functional Analysis
Japan Journal of Industrial and Applied Mathematics (to appear)
Pages: 226-226
Volume: 26-2/3 Pages: 477-491
Japan Journal of Industrial and Applied Mathematics 26
Pages: 477-491
GAKUTO International Series, Mathematical Sciences and Applications 28
Pages: 139-148
International Series of Numerical Mathematics 157
Pages: 43-50
International Series of Numerical Mathematics Vol. 157
Inequalities and Applications(to appear) (in press)
京都大学数理解析研究所講究録 1607
Pages: 13-31
12th GAMM-IMACS International Symposion on Scientific Computing, Computer Arthmetic and Validated Numerics, IEEE Computer Society(Order Number E2821) (in press)
RIMS Kokyuroku 1607
Journal of Computational and Applied Mathematics 199
Pages: 445-451
IEEE Computer Society E2821(CD)
GAKUTO International Series, Mathematical Sciences and Applications (to appear)(印刷中)
IEEE Computer Society
Information 9
Pages: 573-580
Information 9[4]
Journal of Computational and Applied Mathematics 169/1
Pages: 33-44
Journal of Computational and Applied Mathematics 169・1
Journal of Computational and Applied Mathematics (to appear)
to appear in Japan Journal of Industrial and Applied Mathematics 26-2/3
A Numerical Verification Method for a System of FitzHugh-Nagumo Type
Volume: (to appear)
