1. Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey El Din, and Eric Schost, On the geometry of polar varieties, Appl. Algebra Engrg. Comm. Comput. 21 (2010), no. 1, 33–83.[MR/doi]
  2. Fabrice Rouillier, Mohab Safey El Din, and Éric Schost, Solving the Birkhoff interpolation problem via the critical point method: an experimental study, ADG '00: Revised Papers from the Third International Workshop on Automated Deduction in Geometry (Zurich, 2000), Lecture Notes in Computer Science, vol. 2061, Springer-Verlag, Berlin, 2001, pp. viii+325.[MR]
  3. Mohab Safey El Din, Testing sign conditions on a multivariate polynomial and applications, Math. Comput. Sci. 1 (2007), no. 1, 177–207.[MR]
  4. Mohab Safey El Din and Éric Schost, Properness defects of projections and computation of at least one point in each connected component of a real algebraic set, Discrete Comput. Geom. 32 (2004), no. 3, 417–430.[MR]