Books

	Algorithmes Efficaces en Calcul Formel Alin Bostan, Frédéric Chyzak, Marc Giusti, Romain Lebreton, Grégoire Lecerf, Bruno Salvy, Éric Schost Self-published. Distributed by Amazon with a free online colour version, 2017. ISBN: 979-10-699-0947-2. For more information, see here.
	Handbook of Floating-Point Arithmetic, 2nd edition 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) and 978-3-319-76526-6 (eBook). For more information, see here (author's page) or here (publisher's page).
	Computer Arithmetic and Formal Proofs, Verifying Floating-point Algorithms with the Coq System Sylvie Boldo, Guillaume Melquiond ISTE Press, 2017. ISBN: 9781785481123. For more information, see here.
	Elementary Functions, Algorithms and Implementation, 3rd edition Jean-Michel Muller Birkhauser, Boston, 2016. ISBN: 978-1-4899-7981-0 (hardcover) and 978-1-4899-7983-4 (eBook). For more information, see here.