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, which are usually determined by a collections of comparisons between polynomial formulas. We wrote an article on this topic, which has been accepted for publication at an international conference to be held in early 2018 [18].