Validated numerics
numerics including mathematically strict error evaluation From Wikipedia, the free encyclopedia
Remove ads
Validated numerics (or reliable computation) is a numerical analysis with mathematically strict error evaluation.[1][2] In order to do so, a technology called interval arithmetic is used.[3][4][5] Validated numerics is needed for the following reasons.
- It is difficult to avoid numerical errors in numerical computation, and computation without error evaluation may cause unfortunate results.
- It can be applied to computer-assisted proofs for mathematical problems.[6][7]
One of the most known implementation of validated numerics is INTLAB[2][3][8][9] (Interval Laboratory). INTLAB was used to create other numerical libraries, and it was also used to solve the Hundred-dollar, Hundred-digit Challenge problems.[10]
Remove ads
References
Related pages
Other websites
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads