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)