APA (7th ed.) Citation

Devadze, G., Magron, V., & Streif, S. (2020). Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis.

Chicago Style (17th ed.) Citation

Devadze, Grigory, Victor Magron, and Stefan Streif. Computer-assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis. 2020.

MLA (9th ed.) Citation

Devadze, Grigory, et al. Computer-assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis. 2020.