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

From MaRDI portal





scientific article; zbMATH DE number 1240629
Language Label Description Also known as
default for all languages
No label defined
    English
    Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
    scientific article; zbMATH DE number 1240629

      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