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
The Flow of ODEs - MaRDI portal

The Flow of ODEs (Q2829258)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Flow of ODEs
scientific article

    Statements

    title
    The Flow of ODEs (English)
    0 references
    author
    Fabian Immler
    0 references
    Christoph Traut
    0 references
    publication date
    27 October 2016
    0 references
    describes a project that uses
    Isabelle/HOL
    0 references
    Lifting
    0 references
    Transfer
    0 references
    Isabelle
    0 references
    RODES
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68V20
    0 references
    03B35
    0 references
    34A12
    0 references
    34A26
    0 references
    37C10
    0 references
    65L05
    0 references
    zbMATH DE Number
    6644744
    0 references
    OpenAlex ID
    W2483648716
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2829258&oldid=36283388"
    Powered by MediaWiki