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].