Differential elimination for dynamical systems

par Yulia Mukhina

mardi 3 juin 2025, 10:30 → 11:30 Europe/Paris

XR203 (XLIM)

For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate. We give a bound for the Newton polytope of the support of such an equation and show that our bound is sharp in "more than half of the cases". We show the algorithm bases on this bound and demonstrate that our implementation of the algorithm can tackle problems which are out of reach for the state-of-the-art software for differential elimination.