Keywords

#validated_numerics

Validated numerics

Validated numerics, or rigorous computation, verified computation, reliable computation, numerical verification is numerics including mathematically strict 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.

Tue 2nd

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Validated numerics Validation Error analysis (mathematics) Numerical methods for partial differential equations Applied mathematics Numerical analysis Numerical methods for ordinary differential equations Numerical linear algebra Discrete mathematics Computational mathematics
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.