Formal solutions of a class of Pfaffian systems in two variables

DOI10.1145/2608628.2608656zbMath1325.68293arXiv1401.5439OpenAlexW2090845117MaRDI QIDQ3452410

Hassan Abbas, Suzy S. Maddah, 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.5439

zbMATH Keywords

Pfaffian systemsformal solutionslinear systems of partial differential equationsHukuhara-Turritin's normal formMoser-based reduction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Linear ordinary differential equations and systems (34A30) Systems of linear first-order PDEs (35F35)

Related Items (2)

Formal solutions of singularly-perturbed linear differential systems ⋮ Formal solutions of completely integrable Pfaffian systems with normal crossings

Uses Software

• Isolde
• Maple
• PfaffInt
• Jordan

Cites Work

• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal solutions of a class of Pfaffian systems in two variables