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
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
    0 references

    Identifiers