Algorithmic Verification of Linearizability for Ordinary Differential Equations

Dmitry Lyakhov, Vladimir Gerdt, Dominik Michels

For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise…