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