Cargando…
Handbook of Floating-Point Arithmetic
Autores principales: | Muller, Jean-Michel, Brisebarre, Nicolas, Dinechin, Florent de, Jeannerod, Claude-Pierre, Lefevre, Vincent, Melquiond, Guillaume, Revol, Nathalie, Stehle, Damien, Torres, Serge |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2010
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/978-0-8176-4705-6 http://cds.cern.ch/record/1315760 |
Ejemplares similares
-
Handbook of floating-point arithmetic
por: Muller, Jean-Michel, et al.
Publicado: (2018) -
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017) -
Floating-point computation
por: Sterbenz, Pat H
Publicado: (1974) -
Rational points and arithmetic of fundamental groups: evidence for the section conjecture
por: Stix, Jakob
Publicado: (2013) -
Arithmetics of quadratic Jordan algebras
por: Racine, Michel L
Publicado: (1973)