2009 |
14 | EE | Mohab Safey El Din,
Éric Schost:
A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces
CoRR abs/0902.1612: (2009) |
2008 |
13 | EE | Mohab Safey El Din:
Computing the global optimum of a multivariate polynomial over the reals.
ISSAC 2008: 71-78 |
12 | EE | Jean-Charles Faugère,
Guillaume Moroz,
Fabrice Rouillier,
Mohab Safey El Din:
Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities.
ISSAC 2008: 79-86 |
2007 |
11 | EE | Mohab Safey El Din:
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping.
ASCM 2007: 42-56 |
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) |