Nobito Yamamoto

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 6

Top Topics

Error Estimates

Exhaustive Search

Verification Method

Top Venues

J. Comput. Appl. Math.

Publications

Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. J. Comput. Appl. Math. 417 (2023)
Koki Nitta, Nobito Yamamoto
Numerical verification method on complex ODEs for existence of global solutions within finite domains. JSIAM Lett. 15 (2023)
Koki Nitta, Toshiki Sasaki, Nobito Yamamoto
On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases. JSIAM Lett. 14 (2022)
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]. J. Comput. Appl. Math. 384 (2021)
Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases. JSIAM Lett. 12 (2020)
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
On the construction of Lyapunov functions with computer assistance. J. Comput. Appl. Math. 319 (2017)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 43 (3) (2010)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim
Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 44 (1) (2010)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. Reliab. Comput. 9 (5) (2003)
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. Reliab. Comput. 5 (3) (1999)
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. Reliab. Comput. 4 (2) (1998)
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. SCAN (1998)