Validated Numerics

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Validated Numerics.

• Numerical certification — The production of a mathematically checkable guarantee that a numerically computed candidate corresponds to an actual solution of a stated problem.