Algorithmic Verification of Linearizability for Ordinary Differential Equations
DOI10.1145/3087604.3087626zbMath1454.34064arXiv1702.03829MaRDI QIDQ5119952
Vladimir P. Gerdt, Dmitry A. Lyakhov, Dominik L. Michels
Publication date: 9 September 2020
Published in: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.03829
ordinary differential equations; power series solutions; point transformation; determining equations; Lie symmetry algebra; differential Thomas decomposition; algorithmic linearization test
68W30: Symbolic computation and algebraic computation
34C20: Transformation and reduction of ordinary differential equations and systems, normal forms
34C14: Symmetries, invariants of ordinary differential equations
Uses Software