| 2007 |
| 10 | EE | Mohab Safey El Din,
Philippe Trebuchet:
POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations.
PASCO 2007: 104-106 |
| 9 | EE | Hazel Everett,
Sylvain Lazard,
Daniel Lazard,
Mohab Safey El Din:
The voronoi diagram of three lines.
Symposium on Computational Geometry 2007: 255-264 |
| 8 | EE | Mohab Safey El Din:
Testing Sign Conditions on a Multivariate Polynomial and Applications.
Mathematics in Computer Science 1(1): 177-207 (2007) |
| 2006 |
| 7 | EE | Mohab Safey El Din,
Philippe Trebuchet:
Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry
CoRR abs/cs/0610051: (2006) |
| 2004 |
| 6 | EE | Mohab Safey El Din,
Éric Schost:
Properness Defects of Projections and Computation of at Least One Point in Each Connected Component of a Real Algebraic Set.
Discrete & Computational Geometry 32(3): 417-430 (2004) |
| 2003 |
| 5 | EE | Mohab Safey El Din,
Éric Schost:
Polar varieties and computation of one point in each connected component of a smooth real algebraic set.
ISSAC 2003: 224-231 |
| 2002 |
| 4 | EE | Philippe Aubry,
Fabrice Rouillier,
Mohab Safey El Din:
Real Solving for Positive Dimensional Systems.
J. Symb. Comput. 34(6): 543-560 (2002) |
| 2000 |
| 3 | EE | Fabrice Rouillier,
Mohab Safey El Din,
Éric Schost:
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study.
Automated Deduction in Geometry 2000: 26-40 |
| 2 | EE | Fabrice Rouillier,
Marie-Françoise Roy,
Mohab Safey El Din:
Finding at Least One Point in Each Connected Component of a Real Algebraic Set Defined by a Single Equation.
J. Complexity 16(4): 716-750 (2000) |
| 1 | | Henri Lombardi,
Marie-Françoise Roy,
Mohab Safey El Din:
New Structure Theorem for Subresultants.
J. Symb. Comput. 29(4-5): 663-689 (2000) |