TY  - RPRT
TI  - On the construction of Lyapunov functions with computer assistance
AU  - Kaname Matsue
AU  - Tomohiro Hiwaki
AU  - Nobito Yamamoto
PY  - 2016
UR  - https://arxiv.org/abs/1604.05953
ID  - 1604.05953
ER  -