Sökt på: Böcker av Guillaume Melquiond
totalt 6 träffar
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 …
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 …