Feasibility testing for systems of real quadratic equations (1993)

by A I Barvinok
Venue:Discrete & Computational Geometry