Opening book details…
Can I read Handbook of Floating-point Arithmetic on EtoBox?
Handbook of Floating-point Arithmetic by Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Muller, Jean-Michel; Revol, Nathalie; Torres, Serge et al. is a nonfiction available to read on EtoBox.
What is Handbook of Floating-point Arithmetic about?
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. This handbook aims to provide a complete overview of modern floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. The handbook is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.
Who reads Handbook of Floating-point Arithmetic?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Muller, Jean-Michel; Revol, Nathalie; Torres, Serge et al.
- Publisher
- Springer International Publishing : Imprint : Birkhäuser
- Published
- 2018
- Language
- EN
- ISBN
- 9783319765266
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Science
More by Brunie, Nicolas; de Dinechin, Florent; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Muller, Jean-Michel; Revol, Nathalie; Torres, Serge et al.
Similar books
- Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System (Computer Engineering) — Boldo, Sylvie; Melquiond, Guillaume (2017)
- Formal Verification of Floating-Point Hardware Design : A Mathematical Approach — David M. Russinoff (2022)
- Improving Floating-Point Programming — edited by Peter J.L. Wallis (1990)
- Numerical Computing with IEEE Floating Point Arithmetic : Including One Theorem, One Rule of Thumb, and One Hundred and One Exercises — Michael L Overton; Society for Industrial and Applied Mathematics (2001)
- Algorithms for MP Floating-point Arithmetic — Priest D.
- Computer Arithmetic Algorithms Second Edition — Israel Koren (2001)