Triangular decomposition of semi-algebraic systems (0)

by C Chen, J H Davenport, J May, M Moreno Maza, B Xia, R Xiao
Venue:J. Symb. Comp