You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
| Chapter title |
Verifying Floating-Point Algorithms
|
|---|---|
| Chapter number | 13 |
| Book title |
Handbook of Floating-Point Arithmetic
|
| Published by |
Birkhäuser, Cham, January 2018
|
| DOI | 10.1007/978-3-319-76526-6_13 |
| Book ISBNs |
978-3-31-976525-9, 978-3-31-976526-6
|
| Authors |
Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres, Muller, Jean-Michel, Brunie, Nicolas, de Dinechin, Florent, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, Serge |