Cargando…
Algorithm. Accurate Floating Point Summation
Autor principal: | Erskine, George A |
---|---|
Lenguaje: | eng |
Publicado: |
1973
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1050751 |
Ejemplares similares
Cargando…
SQL and relational theory: how to write accurate SQL code
por: Date, C J
Publicado: (2015)
por: Date, C J
Publicado: (2015)
Ejemplares similares
-
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017) -
Microprogrammed floating-point arithmetic for the Varian-73 computer
por: Frenckner, K, et al.
Publicado: (1977) -
Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018) -
CSS floating
por: Meyer, Eric A
Publicado: (2016) -
Key points detection algorithm for noised data
por: Donon, Yann
Publicado: (2020)