Feasibility testing for systems of real quadratic equations (1993)

by Alexander I Barvinok
Venue:Discrete Comput. Geom