Feasibility testing for systems of real quadratic equations (1993)

by A Barvinok
Venue:Discrete & Computational Geometry