Computing with semi-algebraic sets: Relaxation techniques and effective boundaries (2013)

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