Targeted audience - Specialists in numerical computations, especially in numerical optimiza- tion, who are interested in designing algorithms with automatie result ver- ification, and who would therefore be interested in knowing how general their algorithms caIi in principle be. - Mathematicians and computer scientists who are interested in the theory 0/ computing and computational complexity, especially computational com- plexity of numerical computations...