Hakutulokset: Kirjoja kirjailijalta Guillaume Melquiond
yhteensä 6 hakutulosta
Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become …
Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become …
Handbook of Floating-Point Arithmetic
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number …
Handbook of Floating-Point Arithmetic
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet …
Handbook of Floating-Point Arithmetic
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number …
Handbook of Floating-Point Arithmetic
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number …