Alexander Demin Alexey Ovchinnikov Fabrice Rouillier Parameter Estimation in ODE Models with Certified Polynomial System Solving. 2025 April abs/2504.17268 CoRR https://doi.org/10.48550/arXiv.2504.17268 db/journals/corr/corr2504.html#abs-2504-17268 streams/journals/corr