43 citations · 125 across the 10 of their papers we have counts for
3 papers · 1 filter
Improved Polynomial Remainder Sequences for Ore Polynomials
Maximilian Jaroschek
Polynomial remainder sequences contain the intermediate results of the Euclidean algorithm when applied to (non-)commutative polynomials. The running time of the algorithm is depen…
Adapting Real Quantifier Elimination Methods for Conflict Set Computation
Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine
The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, se…
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.…