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 . This is also the one of the main topics of Boris Djalal's thesis, which was defended in December.