Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases. - Gen Terasaka; Masao Nakamura; Koki Nitta; Nobito Yamamoto (JSIAM Lett., 2020)

On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases. - Koki Nitta; Toshiki Sasaki; Nobito Yamamoto (JSIAM Lett., 2022)

Numerical verification method on complex ODEs for existence of global solutions within finite domains. - Koki Nitta; Nobito Yamamoto (JSIAM Lett., 2023)

Interactive System for Creating Attractive Poses Using Pose Features and Statistical Models. - Koki Nitta; Kunio Yamamoto; Masaki Oshita (CW, 2024)