Mohab Safey El Din
Identifiers
- name variant Mohab Safey El Din 0.60 · backfill
Papers (11)
- Cooperativity, Absolute Interaction, and Algebraic Optimization q-bio.BM · 2019 · author #3
- RealCertify: a Maple package for certifying non-negativity cs.SC · 2018 · author #2
- On Exact Polya and Putinar's Representations cs.SC · 2018 · author #2
- Algorithms for Weighted Sums of Squares Decomposition of Non-negative Univariate Polynomials cs.SC · 2017 · author #2
- A lower bound on the positive semidefinite rank of convex bodies math.OC · 2017 · author #2
- Polynomial Interrupt Timed Automata cs.FL · 2015 · author #4
- Real root finding for determinants of linear matrices cs.SC · 2014 · author #3
- Critical Points and Gr\"obner Bases: the Unmixed Case cs.SC · 2012 · author #2
- A baby step-giant step roadmap algorithm for general algebraic sets math.AG · 2012 · author #3
- On the Complexity of the Generalized MinRank Problem cs.SC · 2011 · author #2
- Gr\"obner Bases of Bihomogeneous Ideals generated by Polynomials of Bidegree (1,1): Algorithms and Complexity cs.SC · 2010 · author #2
Mentions
Frequent Coauthors
- Jean-Charles Faug\`ere 3 shared papers
- Pierre-Jean Spaenlehauer 3 shared papers
- Victor Magron 3 shared papers
- B\'eatrice B\'erard 1 shared papers
- Claudine Picaronny 1 shared papers
- Didier Henrion 1 shared papers
- \'Eric Schost 1 shared papers
- Hamza Fawzi 1 shared papers
- Johannes W. R. Martini 1 shared papers
- Marie-Fran\c{c}oise Roy 1 shared papers
- Markus Schweighofer 1 shared papers
- Mathieu Sassolas 1 shared papers
- Nidhi Kaihnsa 1 shared papers
- Saugata Basu 1 shared papers
- Serge Haddad 1 shared papers
- Simone Naldi 1 shared papers
- Yue Ren 1 shared papers