Alexander I. Barvinok. Feasibility Testing for Systems of Real Quadratic Equations. In Proceedings of the Twenty Fourth Annual ACM Symposium on Theory of Computing, 4-6 May 1992, Victoria, British Columbia, Canada. pages 126-132, ACM, 1992.
Abstract is missing.