Koki Nitta

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 3

Top Topics

Top Venues

Publications

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)
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)