Язык программирования: REDUCE
Для полиномиальных гамильтонианов программа GITA вычисляет в аналитическом
виде нормальную форму Биркгофа-Густавсона, формулы прямого и обратного
преобразований координат и приближённые интегралы движения.
В качестве теста, программа вычисляет нормальную форму и приближённый интеграл
движения двумерной модели Хенона-Хейлиса.
Подробное описание программы и тестовый пример даны в библиотеке программ
журнала Computer Physics Communications (90 (1995) 355):
http://cpc.cs.qub.ac.uk/summaries/ADBW_v1_0.html