Public documentation on the Table Maker's Dilema

From TaMaDiWiki
Jump to: navigation, search

Vincent Lefèvre's PhD dissertation, Moyens arithmétiques pour un calcul fiable, Ecole Normale Supérieure de Lyon, Jan. 2000.

David Defour's PhD dissertation, Fonctions élémentaires: algorithmes et implémentations efficaces pour l'arrondi correct en double précision, Ecole Normale Supérieure de Lyon, 2003.

Damien Stehlé's PhD dissertation, Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques, Université Henri Poincaré, Nancy, Dec. 2005.

Christoph Lauter's PhD dissertation, Arrondi correct de fonctions mathématiques, Fonctions univariées et bivariées, certification et automatisation, Ecole Normale Supérieure de Lyon, Oct. 2008.

NFM2012 Coq files,

Erik Martin Dorel's PhD dissertation, "Contributions to the Formal Verification of Arithmetic Algorithms", Ecole Normale Supérieure de Lyon, 26 septembre 2012