Feasibility Testing for Systems of Real Quadratic Equations. A.I. Barvinok (1993) Discrete & computational geometry