On the reduction of singularly-perturbed linear differential systems

DOI10.1145/2608628.2608655zbMath1325.68294arXiv1401.5438OpenAlexW2040172228MaRDI QIDQ3452411

Suzy S. Maddah, Hassan Abbas, Moulay A. Barkatou

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

computer algebraturning pointsMoser-based reductionperturbed linear differential systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear ordinary differential equations and systems (34A30) Singular perturbations, turning point theory, WKB methods for ordinary differential equations (34E20)

Related Items (3)

From infinity to four dimensions: higher residue pairings and Feynman integrals ⋮ Formal solutions of singularly-perturbed linear differential systems ⋮ Formal solutions of completely integrable Pfaffian systems with normal crossings

Uses Software

• Isolde
• Maple
• ParamInt
• Jordan

Cites Work

• Unnamed Item
• Unnamed Item
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic

This page was built for publication: On the reduction of singularly-perturbed linear differential systems