Publications and pre-prints

Pre-prints

  1. Putting into practice deformation techniques for the computation of sampling points in real singular hypersurfaces, M. Safey El Din,
    Preliminary version [ps], [pdf]

  2. Strong bi-homogeneous Bezout theorem and its use in effective real algebraic geometry, M. Safey El Din, P. Trébuchet,
    INRIA Research Report RR, 46 pages, 2006. Abstract
    Preliminary version is available here

Dissemination

Journal papers

  1. The Voronoi diagram of three lines
    H. Everett, D. Lazard, S. Lazard, M. Safey El Din, Discrete and Computational Geometry, Vol. 42, Num. 1, pp.94-130, 2009.
    Preliminary version [pdf]

  2. Testing Sign Conditions on a Multivariate Polynomial and Applications, M. Safey El Din,
    Mathematics in Computer Science Journal, Special inaugural issue on algorithms and complexity, H. Hong and C. Yap (Guest editors), Birkhauser, 31 pages, 2007.
    Preliminary version [ps], [pdf]

  3. Properness defects of projections and computation of one point in each connected component of a real algebraic set, M. Safey El Din, E. Schost,
    Journal of Discrete and Computational Geometry, Vol.32 Number 3, pp. 417-430, Sept. 2004.
    Abstract
    Preliminary version in gzipped format [ps]

  4. Real Solving for positive dimensional systems, P. Aubry, F. Rouillier, M. Safey El Din,
    Journal of Symbolic Computation, Vol. 34 (6), 543-560, December 2002.
    Abstract
    Preliminary version in gzipped format [ps]

  5. Finding at least one point in each connected component of a real algebraic set defined by a single equation, F. Rouillier, M.-F. Roy, M. Safey El Din,
    Journal of Complexity, vol. 16, 716-750, 2000.
    Abstract
    Preliminary version in format [dvi] [ps]

  6. New Structure Theorems for subresultants, H. Lombardi, M.-F. Roy, M. Safey El Din,
    Journal of Symbolic Computation, Special Issue on Symbolic Computation in Algebra, Analysis and Geometry, Avril/Mai 2000.
    Abstract
    Preliminary version in format [dvi] [ps]

Conference papers (with proceedings and program committee)

PhD Thesis