Section: New Results

Formalizing Cylindrical Algebraic Decomposition

Participants : Boris Djalal, Yves Bertot, Cyril Cohen.

Our study of cylindrical algebraic decomposition requires that we find a good representation of semi-algebraic sets. An article on this topic was published [17]. This is also the one of the main topics of Boris Djalal's thesis, which was defended in December.