Verified integration of linear \(n\)th order ODEs using large steps (Q876676)

From MaRDI portal





scientific article; zbMATH DE number 5147067
Language Label Description Also known as
default for all languages
No label defined
    English
    Verified integration of linear \(n\)th order ODEs using large steps
    scientific article; zbMATH DE number 5147067

      Statements

      Verified integration of linear \(n\)th order ODEs using large steps (English)
      0 references
      0 references
      26 April 2007
      0 references
      error bounds
      0 references
      interval computations
      0 references
      enclosure method
      0 references
      numerical examples
      0 references
      interval analysis
      0 references
      power series
      0 references
      Taylor polynomial
      0 references
      roundoff errors
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers