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