Mohab Safey El Din

activity

20192026

collaborators

Showing cs.SCShow all

2 papers · 1 filter

cs.SC2026

Computing the connected components of real algebraic curves

Elisabetta Rocchi, Mohab Safey El Din

Connected components of real algebraic sets are semi-algebraic, i.e. they are described by a boolean formula whose atoms are polynomial constraints with real coefficients. Computin…

cs.SC2025

Solving generic parametric linear matrix inequalities

Simone Naldi, Mohab Safey El Din, Adrien Taylor +1

We consider linear matrix inequalities (LMIs) $A = A_{0} + x_{1} A_{1} + ... + x_{n} A_{n} ⪰ 0$ with the $A_{i}$ 's being $m \times m$ symmetric matrices, with entries in a ring $\mathcal…