TY  - RPRT
TI  - Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis
AU  - Grigory Devadze
AU  - Victor Magron
AU  - Stefan Streif
PY  - 2024
UR  - https://arxiv.org/abs/2006.09884
ID  - 2006.09884
ER  -