Factorisations explicites de g(y) - h(z) Pierrette Cassou-Noguès, Jean-Marc Couveignes (1999) Acta Arithmetica
Feasibility Testing for Systems of Real Quadratic Equations. A.I. Barvinok (1993) Discrete & computational geometry