Numerical analysis is explained with the emphasis on error analysis.

This lecture presents recent advances of a study of numerical verification of numerical computations. Starting from a discussion on IEEE754 standard for binary floating points numbers, fast and accurate methods for verifying accuracy of various linear and nonlinear equations are explained. Tools for numerical verification are also explained in detail