Interval certification
- Category
- STANDARD MATHEMATICS
- Definition
- A rigorous numerical check that uses interval bounds to certify a statement such as the sign of a computed quantity.
- Math Level
- TECHNICAL
- Index Excerpt
- certified numerics; rigorous interval bounds
Interval certification
Interval certification uses interval arithmetic or related rigorous bounds to prove that a computed quantity lies inside a guaranteed numerical interval.
Unlike ordinary floating-point output, a successful interval certificate accounts explicitly for rounding and approximation errors under the assumptions of the calculation.
See also: interval arithmetic, numerical evidence. .