3 citations · 3 across the 1 of their papers we have counts for
1 paper
Kaname Matsue, Tomohiro Hiwaki, Nobito Yamamoto
Computer assisted procedures of Lyapunov functions defined in given neighborhoods of fixed points for flows and maps are discussed. We provide a systematic methodology for construc…