I agree that this site is using cookies. You can find further informations here.
X
Yamamoto, Nobito
33  results:
Search for persons X
?
1

Numerical verification method on complex ODEs for existence..:

Nitta, Koki ; Yamamoto, Nobito
JSIAM Letters.  15 (2023)  0 - p. 69-72 , 2023
Link: https://doi.org/10.14495..
 
?
2

Inclusion method of optimal constant with quadratic converg..:

Kinoshita, Takehiko ; Watanabe, Yoshitaka ; Yamamoto, Nobito.
Journal of Computational and Applied Mathematics.  417 (2023)  - p. 114521 , 2023
Link: https://doi.org/10.1016/..
 
?
3

A numerical verification method to specify homoclinic orbit..:

Nitta, Koki ; Yamamoto, Nobito ; Matsue, Kaname
Japan Journal of Industrial and Applied Mathematics.  39 (2022)  2 - p. 467-513 , 2022
Link: https://doi.org/10.1007/..
 
?
4

On numerical verification methods to construct local Lyapun..:

Nitta, Koki ; Sasaki, Toshiki ; Yamamoto, Nobito
JSIAM Letters.  14 (2022)  0 - p. 33-36 , 2022
Link: https://doi.org/10.14495..
 
?
5

Errata to "On the construction of Lyapunov functions with c..:

Matsue, Kaname ; Hiwaki, Tomohiro ; Yamamoto, Nobito
Journal of Computational and Applied Mathematics.  384 (2021)  - p. 113175 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Construction of local Lyapunov functions around non-hyperbo..:

Terasaka, Gen ; Nakamura, Masao ; Nitta, Koki.
JSIAM Letters.  12 (2020)  0 - p. 37-40 , 2020
Link: https://doi.org/10.14495..
 
?
7

On the construction of Lyapunov functions with computer ass..:

Matsue, Kaname ; Hiwaki, Tomohiro ; Yamamoto, Nobito
Journal of Computational and Applied Mathematics.  319 (2017)  - p. 385-412 , 2017
Link: https://doi.org/10.1016/..
 
?
8

Some remarks on a priori estimates of highly regular soluti..:

Kinoshita, Takehiko ; Watanabe, Yoshitaka ; Yamamoto, Nobito.
Japan Journal of Industrial and Applied Mathematics.  33 (2016)  3 - p. 629-636 , 2016
Link: https://doi.org/10.1007/..
 
?
9

Some considerations of the invertibility verifications for ..:

Nakao, Mitsuhiro T. ; Watanabe, Yoshitaka ; Kinoshita, Takehiko..
Japan Journal of Industrial and Applied Mathematics.  32 (2015)  1 - p. 19-31 , 2015
Link: https://doi.org/10.1007/..
 
?
10

Some remarks on numerical verification of closed orbits in ..:

Hiwaki, Tomohiro ; Yamamoto, Nobito
Nonlinear Theory and Its Applications, IEICE.  6 (2015)  3 - p. 397-403 , 2015
Link: https://doi.org/10.1587/..
 
?
11

Special section on recent progress in verified numerical co..:

Yamamoto, Nobito ; Ogita, Takeshi
Nonlinear Theory and Its Applications, IEICE.  5 (2014)  1 - p. 1-1 , 2014
Link: https://doi.org/10.1587/..
 
?
12

Preface:

Koyama, Daisuke ; Lai, Choi-Hong ; Yamamoto, Nobito
Journal of Algorithms & Computational Technology.  7 (2013)  3 - p. i-ii , 2013
Link: https://doi.org/10.1260/..
 
?
13

Validated computation of global solutions to ODEs:

Harikae, Masato ; Yamamoto, Nobito
Nonlinear Theory and Its Applications, IEICE.  4 (2013)  1 - p. 88-96 , 2013
Link: https://doi.org/10.1587/..
 
?
14

A Theorem for Numerical Verification on Local Uniqueness of..:

Yamamoto, Nobito ; Nakao, Mitsuhiro T. ; Watanabe, Yoshitaka
Numerical Functional Analysis and Optimization.  32 (2011)  11 - p. 1190-1204 , 2011
Link: https://doi.org/10.1080/..
 
?
15

On the basic operations of interval multiple-precision arit..:

Matsuda, Nozomu ; Yamamoto, Nobito
Nonlinear Theory and Its Applications, IEICE.  2 (2011)  1 - p. 54-67 , 2011
Link: https://doi.org/10.1587/..
 
1-15