• An improved star test for implicit polynomial objects 

      Fang, Lincong; Michelucci, Dominique; Foufou, Sebti ( Elsevier Ltd , 2016 , Article)
      For a given point set, a particular point is called a star if it can see all the boundary points of the set. The star test determines whether a candidate point is a star for a given set. It is a key component of some ...
    • Re-parameterization reduces irreducible geometric constraint systems 

      Barki, Hichem; Fang, Lincong; Michelucci, Dominique; Foufou, Sebti ( Elsevier Ltd , 2016 , Article)
      You recklessly told your boss that solving a non-linear system of size n (n unknowns and n equations) requires a time proportional to n, as you were not very attentive during algorithmic complexity lectures. So now, you ...