Set arithmetic and the enclosing problem in dynamics
Marian Mrożek, Piotr Zgliczyński · Annales Polonici Mathematici · 2000
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 algorith