Validated numerics
Numerics including mathematically strict error evaluation
Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification (German: Zuverlässiges Rechnen) is numerics including mathematically strict error (rounding error, truncation error, discretization error) evaluation, and it is one field of numerical analysis. For computation, interval arithmetic is most often used, where all results are represented by intervals.
Nº Q63307393 ★
Common · Knowledge
Validated numerics
Numerics including mathematically strict error evaluation
Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification (German: Zuverlässiges Rechnen) is numerics including mathematically strict error (rounding error, truncation error, discretization error) evaluation, and it is one field of numerical analysis. For computation, interval arithmetic is most often used, where all results are represented by intervals.
From Wikipedia
Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification (German: Zuverlässiges Rechnen) is numerics including mathematically strict error (rounding error, truncation error, discretization error) evaluation, and it is one field of numerical analysis. For computation, interval arithmetic is most often used, where all results are represented by intervals. Validated numerics were used by Warwick Tucker in order to solve the 14th of Smale's problems, and today it is recognized as a powerful tool for the study of dynamical systems.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Interval arithmetic
Method for bounding the errors of numerical computations
Nº Q1671453 ★
Not listed
-
Mathematical analysis
Branch of mathematics
Nº Q7754 ★★★
Not listed
-
N
Numerical stability
Property of a numerical algorithm which describes how errors and approximations in the input data or intermediate values propagate through the algorithm without diverging its results
Nº Q1430640 ★
Not listed
-
Newton–Cotes formulas
Formulas for numerical integration
Nº Q944241 ★
Not listed
-
Approximation error
Also known as absolute error
Nº Q865920 ★
Not listed
-
Arithmetic
Elementary branch of mathematics
Nº Q11205 ★★★★
Not listed