Anna Gierzkiewicz (Uniwersytet Rolniczy w Krakowie), Wspierany komputerowo dowód chaotyczności modelu rotacji Hyperiona