12 citations · 40 across the 14 of their papers we have counts for
4 papers · 1 filter
Faster real root decision algorithm for symmetric polynomials
George Labahn, Cordian Riener, Mohab Safey El Din +2
In this paper, we consider the problem of deciding the existence of real solutions to a system of polynomial equations having real coefficients, and which are invariant under the a…
A Direttissimo Algorithm for Equidimensional Decomposition
Christian Eder, Pierre Lairez, Rafael Mohr +1
We describe a recursive algorithm that decomposes an algebraic set into locally closed equidimensional sets, i.e. sets which each have irreducible components of the same dimension.…
Fast Algorithms for Discrete Differential Equations
Alin Bostan, Hadrien Notarantonio, Mohab Safey El Din
Discrete Differential Equations (DDEs) are functional equations that relate polynomially a power series in with polynomial coefficients in a "catalytic" variable a…
Refined Algorithms for Ideals of Minors of Square Matrices
Sriram Gopalakrishnan, Vincent Neiger, Mohab Safey El Din
We consider the problem of computing a grevlex Gröbner basis for the set of minors of size of an matrix of generic linear forms over a field of charact…