𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations

✍ Scribed by MARIAN MROZEC

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
646 KB
Volume
22
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

✦ Synopsis

We present a symbolic technique of error analysis of numerical algorithms, which acts as a preprocessor to the actual numerical computation. The technique provides rigorous, a priori bounds which are universal for inputs in a prescribed domain. The method is an alternative to interval arithmetic in applications where speed and rigor but not necessarily the tight bounds are the main concerns. The technique was invented to perform the computer-assisted proof of chaos in the Lorenz equations.

πŸ“œ SIMILAR VOLUMES

Numerical approximations of problems in
Numerical approximations of problems in plasticity: error analysis and solution algorithms
✍ Weimin Han; SΓΈren Jensen; B. Daya Reddy πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 128 KB πŸ‘ 2 views

The initial-boundary value problem of elastoplasticity is considered in the form of a variational inequality, with primary unknowns the displacement, plastic strain and internal variables. The well-posedness of this problem is reviewed, and results are presented for the convergence of a new fully di