Search the dblp DataBase

Publications of Author

1. Fabrice Rouillier, Mohab Safey El Din, Éric Schost
   Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2000, pp:26-40 [Conf]
   
2. Hazel Everett, Sylvain Lazard, Daniel Lazard, Mohab Safey El Din
   The voronoi diagram of three lines. [Citation Graph (0, 0)][DBLP]
   Symposium on Computational Geometry, 2007, pp:255-264 [Conf]
   
3. Mohab Safey El Din, Éric Schost
   Polar varieties and computation of one point in each connected component of a smooth real algebraic set. [Citation Graph (0, 0)][DBLP]
   ISSAC, 2003, pp:224-231 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   Discrete & Computational Geometry, 2004, v:32, n:3, pp:417-430 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   J. Complexity, 2000, v:16, n:4, pp:716-750 [Journal]
   
6. Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din
   Real Solving for Positive Dimensional Systems. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2002, v:34, n:6, pp:543-560 [Journal]
   
7. Henri Lombardi, Marie-Françoise Roy, Mohab Safey El Din
   New Structure Theorem for Subresultants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 2000, v:29, n:4-5, pp:663-689 [Journal]
   
8. Mohab Safey El Din, Philippe Trebuchet
   Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
9. 
   POSIX threads polynomials(PTPol): a scalable implementation of univariate arithmetic operations. [Citation Graph (, )][DBLP]
   
   
10. 
    Computing the global optimum of a multivariate polynomial over the reals. [Citation Graph (, )][DBLP]
    
    
11. 
    Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities. [Citation Graph (, )][DBLP]
    
    
12. 
    Variant real quantifier elimination: algorithm and application. [Citation Graph (, )][DBLP]
    
    
13. 
    Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping. [Citation Graph (, )][DBLP]
    
    
14. 
    On the geometry of polar varieties. [Citation Graph (, )][DBLP]
    
    
15. 
    A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces [Citation Graph (, )][DBLP]
    
    
16. 
    Computing rational points in convex semi-algebraic sets and SOS decompositions [Citation Graph (, )][DBLP]
    
    
17. 
    Gröbner Bases of Bihomogeneous Ideals generated by Polynomials of Bidegree (1,1): Algorithms and Complexity [Citation Graph (, )][DBLP]
    
    
18. 
    The Voronoi Diagram of Three Lines. [Citation Graph (, )][DBLP]