Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models (Q1276129)

From MaRDI portal
Revision as of 10:02, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
scientific article

    Statements

    Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models (English)
    0 references
    0 references
    0 references
    17 January 1999
    0 references
    differential algebraic methods
    0 references
    high-order Taylor models
    0 references
    verified integration
    0 references
    flow
    0 references
    wrapping effect
    0 references
    initial value problems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references