Handbook of Floating-Point Arithmetic || Verifying Floating-Point Algorithms
Muller, Jean-Michel, Brunie, Nicolas, de Dinechin, Florent, Jeannerod, Claude-Pierre, Joldes, Mioara, Lefèvre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Torres, SergeVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-76526-6_13
File:
PDF, 377 KB
english, 2018