José A. Alonso on Nostr: Computer-assisted proofs for Lyapunov stability via sums of squares certificates and ...
Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis. ~ Grigory Devadze, Victor Magron & Stefan Streif.
https://arxiv.org/abs/2006.09884 #ITP #MinLog #Math
Published at
2024-08-02 12:02:29Event JSON
{
"id": "52f9760b16422a386ecbb73fd624b1706afda2039ad32a044d3bda9eb763048d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1722600149,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"minlog"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112892323427439013",
"activitypub"
]
],
"content": "Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis. ~ Grigory Devadze, Victor Magron \u0026 Stefan Streif. https://arxiv.org/abs/2006.09884 #ITP #MinLog #Math",
"sig": "475e7d009ece5ed87112bf925f0377e23e99abfd178ba979d1fa7d3687f840f648d45e3afb0200d4e250d33c6e66e1342c333ae44aec72d85094d99cca649268"
}
