Algorithmic Verification of Linearizability for Ordinary Differential Equations.

Dmitry A. Lyakhov, Vladimir P. Gerdt, Dominik L. Michels

Browse the full ISSAC paper archive.