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. Computational Applied Mathematics, 384:113175, 2021. [doi]
Abstract is missing.