Constructive Approaches to Representation Theorems in Finitely Generated Real Algebras.

Published in: Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science (2001)