Moulay A. Barkatou, Maximilian Jaroschek, Suzy S. Maddah
In this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in several variables. This algorithm is a generalization of a method developed for the bivariate case based on a combination of several reduction techniques and is partially implemented in the computer algebra system Maple.
Example: pdf 1, pdf 2
PfaffInt is a Maple package for symbolic resolution of
completely integrable Pfaffian systems with normal crossings, prototype
implementation. It was written by Suzy S. Maddah.
Examples: Maple Worksheet 1, Maple Worksheet 2
External link to examples: open