
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...

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...