Open AccessFrom Reals to Floating-Point Numbers: Automatic Preservation of Lyapunov Stability Proofs
Author(s) -
Olivier Hermant,
Vivien Maisonneuve
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - mathematical proof , lyapunov function , stability (learning theory) , point (geometry) , mathematics , computer science , discrete mathematics , geometry , nonlinear system , physics , machine learning , quantum mechanics