G.M. · Glenn Melchinger · Guilhem MALISSEN
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System | Hardcover | 978-1-78548-112-3 | 2017 | Sylvie Boldo | |
| Handbook of Floating-Point Arithmetic | Taschenbuch | 978-3-030-09513-0 | 2019 | Jean-Michel Muller · Nicolas Brunie · Florent de Dinechin · Claude-Pierre Jeannerod · Mioara Joldes · Vincent Lefèvre · Nathalie Revol | |
| Handbook of Floating-Point Arithmetic | Gebunden | 978-3-319-76525-9 | 2018 | Jean-Michel Muller · Nicolas Brunie · Florent de Dinechin · Claude-Pierre Jeannerod · Mioara Joldes · Vincent Lefèvre · Nathalie Revol | |
| Handbook of Floating-Point Arithmetic | Hardcover | 978-0-8176-4704-9 | 2009 | Jean-Michel Muller · Nicolas Brisebarre · Florent de Dinechin · Claude-Pierre Jeannerod · Vincent Lefèvre · Nathalie Revol · Damien Stehlé |
Birkhauser · ISTE Press - Elsevier · Springer