This project comprises of several modules implementing interval arithmetic and its applications for rigorous numerical computation and computational dynamics.
The interval_arithmetic_tools module focuses on the implementation of the Interval class along with suitable arithmetic functions.
The covering_relations_analysis module implements the rigorous computation method of finding covering relations for a given dynamical system as a means of restricting the entropy of the system.
The sivia_tools module implements the Set Inversion Via Interval Analysis (SIVIA) algorithm used as a tool in dynamical systems analysis.
The manifold_parametrization_tools module implements the parametrization of a topological manifold. It is in progress as of now.
This project was written as part of a tutoring program at Jagiellonian University, and is summarized in the following article (in Polish).