@misc{indiciae762c68d1c249,
  title = {On the construction of Lyapunov functions with computer assistance},
  author = {Kaname Matsue and Tomohiro Hiwaki and Nobito Yamamoto},
  year = {2016},
  url = {https://arxiv.org/abs/1604.05953},
  note = {Source identifier: 1604.05953}
}