Implicit ordinary differential equations: transitions and strengthening equivalenceдоклад на конференции