> |

(1) |

> |

(2) |

> |

**Given a completely integrable Pfaffian system with normal crossings, PfaffInt provides funcationalities for constructing locally a fundamental matrix of formal solutions and studying the properties of the system. In what follows, we give examples on two of its functionalities.**

**PfaffInt is a growing package and more functionalitities are to be added.
**

**It is based on the follwoing two papers:**

**- Barkatou, Moulay, Suzy S. Maddah, and Hassan Abbas. " Formal Solutions of a Class of Pfaffian Systems in Two Variables." Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation. ACM, 2014.**

**- Barkatou, Moulay, Maximilian Jaroschek, and Suzy S. Maddah. "Formal Solutions of a Class of Pfaffian Systems in Several Variables." Paper under redaction.**

> |

**Exponential Part - Multivariate systems**

**Barkatou-LeRoux-Levelt Rank reduction algorithm of Bivariate systems (ISSAC'2006)**

**Rank Reduction algorithm for Bivariate systems based on generalization of Moser-Barkatou algorithm (ISSAC'2014)**