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.