On existence and uniqueness of formal power series solutions of algebraic ordinary differential equations

DOI10.1007/s00009-022-01984-wzbMath1492.34015arXiv1803.09646OpenAlexW3181346485WikidataQ115390231 ScholiaQ115390231MaRDI QIDQ2113584

Yanyan Li

Publication date: 14 March 2022

Published in: Mediterranean Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1803.09646

zbMATH Keywords

algebraic differential equationformal power series

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Implicit ordinary differential equations, differential-algebraic equations (34A09) Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized separants of differential polynomials
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• Computing with D-algebraic power series
• Solving first order autonomous algebraic ordinary differential equations by places
• Power series solutions of algebraic differential equations
• Fast on-line integer multiplication
• Existence and convergence of Puiseux series solutions for autonomous first order differential equations
• Effective power series computations
• Transseries and real differential algebra
• Asymptotic Differential Algebra and Model Theory of Transseries
• Faster relaxed multiplication
• Solving Ordinary Differential Equations in Terms of Series with Real Exponents
• Fast Algorithms for Manipulating Formal Power Series
• Asymptotic behaviour and expansions of solutions of an ordinary differential equation
• About the cover: The Fine–Petrović Polygons and the Newton–Puiseux Method for Algebraic Ordinary Differential Equations
• Computer Algebra and Geometric Algebra with Applications