Efficient and accurate computation of upper bounds of approximation errors (Q633637)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Efficient and accurate computation of upper bounds of approximation errors
scientific article

    Statements

    Efficient and accurate computation of upper bounds of approximation errors (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 March 2011
    0 references
    supremum norm
    0 references
    approximation error
    0 references
    Taylor models
    0 references
    sum of squares
    0 references
    validation
    0 references
    certification
    0 references
    formal proof
    0 references
    numerical examples
    0 references
    mathematical functions
    0 references
    approximation polynomials
    0 references
    transcendental functions
    0 references
    automated supremum norm algorithm
    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

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references