Численное построение сепаратрис и машинные доказательства неинтегрируемости механических системтезисы доклада