- Tytuł:
- Enhancement to Lohner's Enclosures for Verified Trajectory Tracing in Dynamical Systems
- Autorzy:
- Kleiner, A.
- Data publikacji:
- 2006
- Słowa kluczowe:
-
enclosure
wrapping effect
interval arithmetic
affine arithmetic
verified computation
rigorous computation
initial-value problem
ordinary differential equation
semidynamical system
vic (here introduced) - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł