On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations

Veronika Treumova, Dmitry A. Lyakhov, Dominik L. Michels

This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extr…