Proyecto MTM2006-09050 "Diseño, Análisis y Verificación de Algoritmos para la Evaluación Numérica de Funciones"
Project
"Design, Analysis and Verification of Algorithms for the Evaluation of
Mathematical Functions"
Members:
Alfredo
Deaño (U. Carlos III de Madrid, Spain)
(IP)
Amparo Gil
(U. de Cantabria, Spain))
Javier Segura
(U. de Cantabria, Spain)
Nico M. Temme (Centrum
voor Wiskunde en Informatica, The Netherlands)