Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124)

From MaRDI portal





scientific article; zbMATH DE number 6904392
Language Label Description Also known as
default for all languages
No label defined
    English
    Verified High-Order Integration of DAEs and Higher-Order ODEs
    scientific article; zbMATH DE number 6904392

      Statements

      Verified High-Order Integration of DAEs and Higher-Order ODEs (English)
      0 references
      0 references
      0 references
      0 references
      16 July 2018
      0 references
      intervals
      0 references
      Taylor models
      0 references
      differential algebra
      0 references
      antiderivation
      0 references
      ordinary differential equations
      0 references
      differential algebraic equations
      0 references

      Identifiers