Computer-readable proofs and dynamical systemsдоклад на конференции