Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Deductive stability proofs for ordinary differential equations - MaRDI portal

Deductive stability proofs for ordinary differential equations (Q2233505)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deductive stability proofs for ordinary differential equations
scientific article

    Statements

    title
    Deductive stability proofs for ordinary differential equations (English)
    0 references
    author
    Yong Kiam Tan
    0 references
    André Platzer
    0 references
    publication date
    18 October 2021
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    03B70
    0 references
    34D99
    0 references
    68V20
    0 references
    93C15
    0 references
    zbMATH DE Number
    7410486
    0 references
    zbMATH Keywords
    differential equations
    0 references
    stability
    0 references
    differential dynamic logic
    0 references
    describes a project that uses
    Bellerophon
    0 references
    Coq
    0 references
    Isabelle/HOL
    0 references
    KeYmaera X
    0 references
    OpenAlex ID
    W3145752227
    0 references
    arXiv ID
    2010.13096
    0 references
    cites work
    Q4210476
    0 references
    Q5472808
    0 references
    Q3224358
    0 references
    Q5440982
    0 references
    Q2709206
    0 references
    Q2817906
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2233505&oldid=36722617"
    Powered by MediaWiki