Apparent singularities of D-finite systems

DOI10.1016/j.jsc.2019.02.009zbMath1427.13036arXiv1705.00838OpenAlexW2963143268WikidataQ128387199 ScholiaQ128387199MaRDI QIDQ2000276

Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang

Publication date: 28 June 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

Gröbner basisdesingularizationapparent singularityformal power seriesD-finite systemordinary point

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05)

Related Items

Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix ⋮ Rational solutions of high-order algebraic ordinary differential equations ⋮ Removing apparent singularities of linear difference systems ⋮ Telescopers for differential forms with one parameter ⋮ First-order ODE systems generating confluent Heun equations ⋮ Resolving singularities and monodromy reduction of Fuchsian connections

Uses Software

• HolonomicFunctions

Cites Work

• Desingularization of Ore operators
• Non-commutative elimination in Ore algebras proves multivariate identities
• Apparent singularities of linear difference equations with polynomial coefficients
• Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients
• Desingularization of First Order Linear Difference Systems with Rational Function Coefficients
• Ideals, Varieties, and Algorithms
• Picard--Vessiot extensions for linear functional systems
• Formal solutions of linear PDEs and convex polyhedra. Effective methods in rings of differential operators.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item