Algorithmic Verification of Linearizability for Ordinary Differential Equations.

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

Published in: ISSAC (2017)

Keyphrases

ordinary differential equations
differential equations
dynamic systems
phase space
numerical integration
numerical solution
partial differential equations
mathematical models
biological systems
complex systems
dynamic programming
experimental data
genetic regulatory networks