This course presents some applications of algorithmics to problems issued from genomics.
This course presents interval techniques for rigorously solving numerical constraint satisfaction and optimization problems : interval arithmetic, interval operators, interval constraint propagation, and branch-and-bound algorithms.