Guillaume Melquiond – författare
Visar alla böcker från författaren Guillaume Melquiond. Handla med fri frakt och snabb leverans.
6 produkter
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Av Guillaume Melquiond, Sylvie Boldo
E-bok, 2017
1980 kr
Lägg i varukorg
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 quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point …
Handbook of Floating-Point Arithmetic
Av Serge Torres, Damien Stehle m. fl.
E-bok, 2009
2274 kr
Lägg i varukorg
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 fast, is a very difficult task. As a result, floating-point arithmetic is far from being exploited to its full potential. …
Computer Arithmetic and Formal Proofs
Verifying Floating-point Algorithms with the Coq System
Av Sylvie Boldo, Guillaume Melquiond
Inbunden, 2017
1727 kr
Lägg i varukorg
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 quite involved and potentially lead to numerous failures. One way to greatly increase confidence in floating-point …
Handbook of Floating-Point Arithmetic
Av Jean-Michel Muller, Nicolas Brunie m. fl.
Häftad, 2019
1643 kr
Lägg i varukorg
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 systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on …
Handbook of Floating-Point Arithmetic
Av Jean-Michel Muller, Nicolas Brunie m. fl.
Inbunden, 2018
1643 kr
Lägg i varukorg
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 systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on …
Handbook of Floating-Point Arithmetic
Av Serge Torres, Nathalie Revol m. fl.
E-bok, 2018
2073 kr
Lägg i varukorg
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 systems of early computing to the recent IEEE 754-2008 standard. Most of computational mathematics depends on …
