Nobito Yamamoto

13 papers Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2023 J jnl
Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications.
J. Comput. Appl. Math.
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
2023 J jnl
Numerical verification method on complex ODEs for existence of global solutions within finite domains.
JSIAM Lett.
Koki Nitta, Nobito Yamamoto
2022 J jnl
On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases.
JSIAM Lett.
Koki Nitta, Toshiki Sasaki, Nobito Yamamoto
2021 J jnl
Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412].
J. Comput. Appl. Math.
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
2020 J jnl
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases.
JSIAM Lett.
Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto
2017 J jnl
On the construction of Lyapunov functions with computer assistance.
J. Comput. Appl. Math.
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
2010 J jnl
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput.
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim
2010 J jnl
Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems.
J. Sci. Comput.
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim
2003 J jnl
Some Computer Assisted Proofs for Solutions of the Heat Convection Problems.
Reliab. Comput.
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
2001 — ch.
A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements.
Perspectives on Enclosure Methods
Mitsuhiro T. Nakao, Nobito Yamamoto
1999 J jnl
A Numerical Verification Method of Solutions for the Navier-Stokes Equations.
Reliab. Comput.
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
1998 — conf
A Numerical Verification Method of Solutions for the Navier-Stokes Equations.
SCAN
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
1998 J jnl
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations.
Reliab. Comput.
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe