Computing Cylindrical Algebraic Decomposition via Triangular Decomposition,” (2009)

by C Chen, M Moreno Maza, B Xia, L Yang
Venue:in Proceedings ISSAC