48 citations · 93 across the 21 of their papers we have counts for
4 papers · 2 filters
Real root finding for equivariant semi-algebraic systems
Cordian Riener, Mohab Safey El Din
Let be a real closed field. We consider basic semi-algebraic sets defined by -variate equations/inequalities of symmetric polynomials and an equivariant family of polyno…
RealCertify: a Maple package for certifying non-negativity
Victor Magron, Mohab Safey El Din
Let (resp. ) be the field of rational (resp. real) numbers and be variables. Deciding the non-negativity of polynomials in $\mathb…
Solving determinantal systems using homotopy techniques
Jonathan D. Hauenstein, Mohab Safey El Din, Éric Schost +1
Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials in $\K[X\_1,\dots,X\_n]$, a polynomi…
On Exact Polya and Putinar's Representations
Victor Magron, Mohab Safey El Din
We consider the problem of finding exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP…