Live briefing
Everything about Floating-point arithmetic
Computer approximation for real numbers
In computing, floating-point arithmetic (FP) is arithmetic on subsets of real numbers formed by a significand multiplied by an integer power of that base. Numbers of this form are called floating-point numbers. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Floating-point arithmeticA 5-minute orientation
- Skim a recent paper: Floating-point arithmeticInfluential work since 2022
- Pick up a classic book: Computer arithmetic and validityThe most-reprinted book on the subject
- Read the landmark paper: Verification methods: Rigorous results using floating-point arithmeticCited 244 times
- Go sideways: Single-precision floating-point formatA closely related topic
- Go sideways: IEEE 754A closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Verification methods: Rigorous results using floating-point arithmetic
High-precision floating-point arithmetic in scientific computation
Secure floating point arithmetic and private satellite collision analysis
Simulating Low Precision Floating-Point Arithmetic
On Local Roundoff Errors in Floating-Point Arithmetic
Fast and robust mesh arrangements using floating-point arithmetic
A Proposed Standard for Binary Floating-Point Arithmetic
Realization of digital filters using block-floating-point arithmetic
🆕 Influential since 2022
Floating-point arithmetic
Efficient Floating Point Arithmetic for Quantum Computers
Optimal Architecture of Floating-Point Arithmetic for Neural Network Training Processors
A Provably Robust Algorithm for Triangle-triangle Intersections in Floating-point Arithmetic
BFP-CIM: Runtime Energy-Accuracy Scalable Computing-in-Memory-Based DNN Accelerator Using Dynamic Block-Floating-Point Arithmetic
📚 Books worth reading
Computer arithmetic and validityUlrich Kulisch · 2008- 📕Defining the IEEE-854 floating-point standard in PVSPaul S. Miner · 1995
Floating-point computationPat H. Sterbenz · 1973- 📕Interpretation of IEEE-854 floating-point standard and definition in the HOL systemVictor A. Carreño · 1995
- 📕IEEE standard for binary floating-point arithmeticIEEE Computer Society. Standards Committee, IEEE Standards Board · 1985
MC68881/MC68882 floating-point coprocessor user's manualMotorola. · 1989
Synthesis of arithmetic circuitsJean-Pierre Deschamps · 2005- 📕Prospects for CFD on petaflops systemsDavid E. Keyes · 1997
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Single-precision floating-point format Single-precision floating-point format (sometimes called FP32, float32, or float) is a computer number format, usually occupying 32 bits in computer memory;…
- IEEE 754 The IEEE Standard for Floating-Point Arithmetic (IEEE 754) is a technical standard for floating-point arithmetic originally established in 1985 by the…
- Extended precision Extended precision refers to floating-point number formats that provide greater precision than the basic floating-point formats. Extended-precision formats…
- Decimal64 floating-point format In computing, decimal64 is a decimal floating-point computer number format that occupies 8 bytes (64 bits) in computer memory. The format was formally…
- Double-precision floating-point format Double-precision floating-point format (sometimes called FP64 or float64) is a floating-point number format, usually occupying 64 bits in computer memory;…
- Quadruple-precision floating-point format In computing, quadruple precision (or quad precision) is a binary floating-point–based computer number format that occupies 16 bytes (128 bits) with precision…
- Decimal floating point Decimal floating-point (DFP) arithmetic refers to both a representation and operations on decimal floating-point numbers. Working directly with decimal…
- Significand The significand (also coefficient, sometimes argument, or more ambiguously mantissa, fraction, or characteristic) is the first (left) part of a number…