Rigorous enclosures of rotation numbers by interval methods

Anna Belova

We apply set-valued numerical methods to compute an accurate enclosure of the rotation number. The described algorithm is supplemented with a method of proving the existence of per…