Документация Engee
Примеры Symbolics
Смешанная символьно-числовая теория возмущений