Autor: P. T. Kahl

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 there …