Livres

	Algorithmes Efficaces en Calcul Formel Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Éric Schost Auto-édité. Distribué par Amazon avec une version couleur gratuite en ligne, 2017. ISBN : 979-10-699-0947-2. Pour plus d'information, voir ici.
	Handbook of Floating-Point Arithmetic, 2ème édition Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres Birkhauser, Boston, 2018. ISBN : 978-3-319-76525-9 (hardcover) et 978-3-319-76526-6 (eBook). Pour plus d'information, voir ici (page de l'auteur) ou ici (page de l'éditeur).
	Computer Arithmetic and Formal Proofs, Verifying Floating-point Algorithms with the Coq System Sylvie Boldo, Guillaume Melquiond ISTE Press, 2017. ISBN : 9781785481123. Pour plus d'information, voir ici.
	Elementary Functions, Algorithms and Implementation, 3ème édition Jean-Michel Muller Birkhauser, Boston, 2016. ISBN : 978-1-4899-7981-0 (hardcover) et 978-1-4899-7983-4 (eBook). Pour plus d'information, voir ici.