13 citations · 63 across the 21 of their papers we have counts for
3 papers · 1 filter
Real root finding for determinants of linear matrices
Didier Henrion, Simone Naldi, Mohab Safey El Din
Let $\A_0, \A_1, \ldots, \A_n$ be given square matrices of size with rational coefficients. The paper focuses on the exact computation of one point in each connected component…
On the complexity of computing Gröbner bases for weighted homogeneous systems
Jean-Charles Faugère, Mohab Safey El Din, Thibaut Verron
Solving polynomial systems arising from applications is frequently made easier by the structure of the systems. Weighted homogeneity (or quasi-homogeneity) is one example of such a…
Computing necessary integrability conditions for planar parametrized homogeneous potentials
Alin Bostan, Thierry Combot, Safey El Din Mohab
Let $V\in\mathbb{Q}(i)(\a_1,\dots,\a_n)(\q_1,\q_2)$ be a rationally parametrized planar homogeneous potential of homogeneity degree . We design an algorithm that co…