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 (hardcover)
More information:
Handbook of Floating-Point Arithmetic, 2nd edition
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres,
Birkhauser, Boston, 2018
ISBN: 978-3-319-76526-6 (ebook)
ISBN: 978-3-319-76525-9 (hardcover)
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo, Guillaume Melquiond,
ISTE Press, 2017
ISBN: 978-1-78548-112-3 (hardcover)
More information:
Elementary Functions, 3rd edition
Algorithms and Implementation
Jean-Michel Muller,
Birkhauser, Boston, 2016
ISBN: 978-1-4899-7983-4 (ebook)
ISBN: 978-1-4899-7981-0 (hardcover)
More information: