Constructive Approaches to Representation Theorems in Finitely Generated Real Algebras. - Dionne Bailey; Victoria Powers (Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, 2001)