Troisième réunion
Arithmétique des Ordinateurs Certifiée
Jeudi 21 et Vendredi 22 Juin, Sophia
Participants
- Yves Bertot
- Sylvie Boldo
- Didier Bondyfalat
- Ethan Cotterill
- David Daney
- Marc Daumas
- Claire Finot Moreau
- Guillaume Hanrot
- Vincent Lefèvre
- Nicolas Magaud
- Loïc Pottier
- Laurence Rideau
- Laurent Théry
- Paul Zimmermann
Programme
Jeudi 21 Juin
-
- 9h00 Début
- L. Théry : Présentation des deux journées
- D. Daney: MPFR Développement et Applications
- D. Bondyfalat: Algorithme de Division en Coq
- G. Hanrot: MP (middle product)
-
- 12h00 Repas
-
- N. Magaud: Algorithme de Racine Carrée en Coq
- V. Lefèvre: Multiplication par une constante entière
- Discussion
-
- 17h00 Fin
Vendredi 22 Juin
-
- 9h30 Début
-
- L. Théry: Les Flottants en Coq
- C. Finot-Moreau: Preuves et Algorithmes sur les Expansions de Nombres Flottants
- S. Boldo: Preuves sur l'Arithmétique d'Expansions
-
- 12h Repas
-
- M. Daumas: Formalisations en Arithmetique des Ordinateurs
- Discussion
-
- 16h Fin
[Page d'accueil]
Laurent Théry