Francisco Jose Chaves Alonso
Ph.D. École Normale Supérieure de Lyon 2007
Dissertation:
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves
Mathematics Subject Classification: 68—Computer science
Advisor 1: Marc Daumas
Advisor 2: Nathalie Revol
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 117395 for the advisor ID.