On the construction of Lyapunov functions with computer assistance. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2017)

Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2021)