TY  - RPRT
TI  - On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations
AU  - Veronika Treumova
AU  - Dmitry A. Lyakhov
AU  - Dominik L. Michels
PY  - 2024
UR  - https://arxiv.org/abs/2401.17012
ID  - 2401.17012
ER  -