По теореме Ли, для того чтобы проинтегрировать систему уравнений первого порядка из n уравнений нужно найти k первых интегралов и n-k-1 полей симметрий.
неверно
Олвер Приложения групп Ли к дифференциальным уравнениям.
Овсянников Групповй анализ ДУ
Козлов Симметриии топология и резонансы в гамильтоновой механике.