Validated numerics
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 used, and 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.
genre
Wikipage redirect
genre
primaryTopic
Validated numerics
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 used, and 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.
has abstract
Validated numerics, or rigorou ...... ysis and Interval arithmetic)
@en
Link from a Wikipage to an external page
Wikipage page ID
60,531,670
page length (characters) of wiki page
Wikipage revision ID
982,898,320
Link from a Wikipage to another Wikipage
cs1-dates
y
@en
date
January 2020
@en
wikiPageUsesTemplate
type
comment
Validated numerics, or rigorou ...... he study of dynamical systems.
@en
label
Validated numerics
@en