| | |
Summary: Verified Numerical Computation for Nonlinear Equations 1
Verified Numerical Computation for Nonlinear
Equations
by
G. Alefeld, University of Karlsruhe
Abstract After the introduction basic properties of interval arithmetic are dis-
cussed and different approaches are repeated by which one can compute verified
numerical approximations for a solution of a nonlinear equation.
Key words Fixed point iteration, Newton-like methods, nonsmooth equation
Contents
1. Introduction
2. Basics
3. Nonlinear equations
A) Fixed point iteration
B) Newton-like methods
C) Nonsmooth equations
4. Final remarks
5. Acknowledgement
6. References
1 Introduction
|