On ramification indices of formal solutions of constructive linear ordinary differential systems
DOI10.1016/j.jsc.2016.03.001zbMath1359.34096OpenAlexW2332004990MaRDI QIDQ507154
Publication date: 3 February 2017
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2016.03.001
ramification indexformal solutionsystem of linear differential equationsalgorithmically undecidable problemcomputable power series
Formal solutions and transform techniques for ordinary differential equations in the complex domain (34M25) Formal power series rings (13F25) Linear ordinary differential equations and systems in the complex domain (34M03)
Cites Work
- Unnamed Item
- Unnamed Item
- On full rank differential systems with power series coefficients
- On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity
- Power series solutions of algebraic differential equations
- On the identification and stability of formal invariants for singular differential equations
- An introduction to pseudo-linear algebra
- An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system
- Formal solutions and factorization of differential operators with power series coefficients
- On singular points of solutions of linear differential systems with polynomial coefficients
- Effective formal reduction of linear differential systems
- Regular solutions of linear differential systems with power series coefficients
- Complexity bounds for zero-test algorithms
- On exponential-logarithmic solutions of linear differential systems with power series coefficients
- Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems
This page was built for publication: On ramification indices of formal solutions of constructive linear ordinary differential systems
