- Tytuł:
- Set arithmetic and the enclosing problem in dynamics
- Autorzy:
-
Mrozek, Marian
Zgliczyński, Piotr - Powiązania:
- https://bibliotekanauki.pl/articles/1207977.pdf
- Data publikacji:
- 2000
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
dynamical systems
interval arithmetic
rigorous numerical analysis
enclosing problem - Opis:
- 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.
- Źródło:
-
Annales Polonici Mathematici; 2000, 74, 1; 237-259
0066-2216 - Pojawia się w:
- Annales Polonici Mathematici
- Dostawca treści:
- Biblioteka Nauki
Artykuł