TY  - RPRT
TI  - Algorithmic Verification of Linearizability for Ordinary Differential Equations
AU  - Dmitry Lyakhov
AU  - Vladimir Gerdt
AU  - Dominik Michels
PY  - 2017
UR  - https://arxiv.org/abs/1702.03829
ID  - 1702.03829
ER  -