6 citations · 13 across the 16 of their papers we have counts for
5 papers · 1 filter
Gr{ö}bner bases over polytopal affinoid algebras
Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon
Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical g…
Hypergeometric Solutions of Linear Difference Systems
Moulay Barkatou, Mark van Hoeij, Johannes Middeke +1
We extend Petkovšek's algorithm for computing hypergeometric solutions of scalar difference equations to the case of difference systems , with ,…
A Family of Denominator Bounds for First Order Linear Recurrence Systems
Mark van Hoeij, Moulay Barkatou, Johannes Middeke
For linear recurrence systems, the problem of finding rational solutions is reduced to the problem of computing polynomial solutions by computing a content bound or a denominator b…
Desingularization of First Order Linear Difference Systems with Rational Function Coefficients
Moulay A. Barkatou, Maximilian Jaroschek
It is well known that for a first order system of linear difference equations with rational function coefficients, a solution that is holomorphic in some left half plane can be ana…
Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings
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.…