Livres
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)
Plus d'informations :
Handbook of Floating-Point Arithmetic, 2ème édition
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)
Plus d'informations :
Elementary Functions, 3ème édition
Algorithms and Implementation
Jean-Michel Muller,
Birkhauser, Boston, 2016
ISBN: 978-1-4899-7983-4 (ebook)
ISBN: 978-1-4899-7981-0 (hardcover)
Plus d'informations :