Eintrag in der Universitätsbibliographie der TU Chemnitz
Devadze, Grigory* ; Magron, Victor ; Streif, Stefan
Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis
| Universität: | Technische Universität Chemnitz | |
| Institut: | Professur Regelungstechnik und Systemdynamik | |
| Dokumentart: | Artikel in Fachzeitschrift, referiert | |
| ISBN/ISSN: | Electronic ISSN 1573-0670 ; Print ISSN 0168-7433 | |
| DOI: | doi:10.1007/s10817-024-09717-2 | |
| Quelle: | In: Journal of Automated Reasoning. - Springer Science and Business Media LLC. - 69. 2025, 1 | |
| Freie Schlagwörter (Englisch): | Lyapunov stability , Sums of squares , Semidefinite programming relaxations , Constructive analysis , Proof assisants | |
| OA-Lizenz | CC BY 4.0 |
