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