Fast verified solutions of linear systems (Q849174)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fast verified solutions of linear systems
scientific article

    Statements

    Fast verified solutions of linear systems (English)
    0 references
    0 references
    0 references
    25 February 2010
    0 references
    verified numerical computation
    0 references
    verified solutions of linear systems
    0 references
    self-validating methods
    0 references
    interval arithmetic
    0 references
    algorithms
    0 references
    error bound
    0 references
    numerical results
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references