Efficient and accurate computation of upper bounds of approximation errors (Q633637)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Efficient and accurate computation of upper bounds of approximation errors |
scientific article; zbMATH DE number 5871198
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient and accurate computation of upper bounds of approximation errors |
scientific article; zbMATH DE number 5871198 |
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
0.8911072
0 references
0.8860834
0 references
0.8856143
0 references
