 |
 |
 |
 |
Books
Handbook of Floating-Point Arithmetic
Jean-Michel Muller
1, 2
Nicolas Brisebarre
1, 2
Florent de Dinechin
1, 2
Claude-Pierre Jeannerod
1, 2
Vincent Lefèvre
1, 2
Guillaume Melquiond
3, 4
Nathalie Revol
1, 2
Damien Stehlé
5
Serge Torres
1, 2
1
ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
4
PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Jean-Michel Muller 1, 2
Author IdHAL : jean-michel-muller ORCID : https://orcid.org/0000-0003-3588-0047
Nicolas Brisebarre 1, 2
Author IdHAL : nicolas-brisebarre ORCID : https://orcid.org/0000-0002-4220-2132
Florent de Dinechin 1, 2
Author IdHAL : florent-de-dinechin ORCID : https://orcid.org/0000-0003-4927-3301
Claude-Pierre Jeannerod 1, 2
Author
Vincent Lefèvre 1, 2
Author IdHAL : vinc17 ORCID : https://orcid.org/0000-0002-4045-8273
Guillaume Melquiond 3, 4
Author IdHAL : guillaume-melquiond
Nathalie Revol 1, 2
Author IdHAL : nathalie-revol arXiv : https://arxiv.org/a/Nathalie Revol ORCID : https://orcid.org/0000-0002-2503-2274
Damien Stehlé 5
Author
Serge Torres 1, 2
Author
1
ARENAIRE - Computer arithmetic (ENS Lyon - Laboratoire de l'Informatique du Parallélisme (LIP)
46 Allée d'Italie
69364 Lyon France - France)
- Inria Grenoble - Rhône-Alpes (Inovallée
655 avenue de l'Europe
38330 Montbonnot - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)
- ENS Lyon - École normale supérieure - Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)
- UCBL - Université Claude Bernard Lyon 1 (43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5668 (France)
2
LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)
- ENS Lyon - École normale supérieure - Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)
- UCBL - Université Claude Bernard Lyon 1 (43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5668 (France)
3
LRI - Laboratoire de Recherche en Informatique (LRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay Cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- UP11 - Université Paris-Sud - Paris 11 (Bâtiment 300 - 91405 Orsay cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8623 (France)
4
PROVAL - Proof of Programs (PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex - France)
- UP11 - Université Paris-Sud - Paris 11 (Bâtiment 300 - 91405 Orsay cedex - France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR (France)
5
Macquarie University (Balaclava Road, North Ryde , NSW, 2109, Australia - Australia)
Document type :
Books
Domain :
Complete list of metadatas
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00379167
Contributor : Jean-Michel Muller <>
Submitted on : Monday, April 27, 2009 - 5:30:23 PM
Last modification on : Wednesday, September 16, 2020 - 5:06:42 PM
Contributor : Jean-Michel Muller <>
Submitted on : Monday, April 27, 2009 - 5:30:23 PM
Last modification on : Wednesday, September 16, 2020 - 5:06:42 PM
Identifiers
- HAL Id : ensl-00379167, version 1
Citation
Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lefèvre, et al.. Handbook of Floating-Point Arithmetic. Birkhauser Boston, pp.572, 2010. ⟨ensl-00379167⟩
Metrics
Record views