Displaying similar documents to “A Mathematical Basis for an Interval Arithmetic Standard”

Set arithmetic and the enclosing problem in dynamics

Marian Mrozek, Piotr Zgliczyński (2000)

Annales Polonici Mathematici

Similarity:

We study the enclosing problem for discrete and continuous dynamical systems in the context of computer assisted proofs. We review and compare the existing methods and emphasize the importance of developing a suitable set arithmetic for efficient algorithms solving the enclosing problem.