Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

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.