Tác giả: A. V. Lakeyev

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 …