The CAPD group gathers mathematicians and computer scientists interested in rigorous approach to numerics of dynamical systems. Main research interests of the group are:
- computer assisted proofs of existence and localization results concerning periodic solutions, heteroclinic and homoclinic connections, bifurcations and chaotic dynamics for discrete dynamical systems, ordinary differential equations and partial differential equations.
- theories enabling the reduction of proofs in dynamics to finite computations. The tools are mainly topological and include, but are not restricted to, the Conley index, the fixed point index, covering relations and isolating neighborhoods and segments
- combinatorial counterparts of such theories
- algorithms for rigorous numerical enclosures of trajectories and solutions to ODE's, high order variational equations to ODE's and PDE's
- algorithms providing isolating blocks, isolating segments, index pairs
- algorithms computing topological invariants, in particular algorithms computing homology of topological spaces and homology of continuous maps