Floating Point Arithmetic

36 books
IEEE standard for binary floating-point arithmetic.Unknown Author
⏱ 18m

IEEE standard for binary floating-point arithmetic.

Unknown Author

198518 pp.
Handbook of floating-point arithmeticJ. M. Muller
⏱ 9h 32m

Handbook of floating-point arithmetic

J. M. Muller

2010572 pp.
Numerical Computing with IEEE Floating Point ArithmeticMichael L. Overton
⏱ 1h 44m

Numerical Computing with IEEE Floating Point Arithmetic

Michael L. Overton

2001104 pp.
IEEE standard for binary floating-point arithmeticUnknown Author
⏱ 18m

IEEE standard for binary floating-point arithmetic

Unknown Author

198518 pp.
IEEE standard for binary floating-point arithmeticUnknown Author
⏱ 18m

IEEE standard for binary floating-point arithmetic

Unknown Author

18 pp.
Floating-point computationPat H. Sterbenz
⏱ 5h 16m

Floating-point computation

Pat H. Sterbenz

1973316 pp.
Defining the IEEE-854 floating-point standard in PVSPaul S. Miner

Defining the IEEE-854 floating-point standard in PVS

Paul S. Miner

1995No page data
Computer arithmetic and validityUlrich Kulisch
⏱ 6h 49m

Computer arithmetic and validity

Ulrich Kulisch

2008409 pp.
Interpretation of IEEE-854 floating-point standard and definition in the HOL systemVictor A. Carreño

Interpretation of IEEE-854 floating-point standard and definition in the HOL system

Victor A. Carreño

1995No page data
Error-free computationRobert Todd Gregory
⏱ 2h 32m

Error-free computation

Robert Todd Gregory

1980152 pp.
IEEE 754 single precision standard compatible floating point processor implemented using silicon compiler technologyArunkumar V. Rajanala
⏱ 1h 17m

IEEE 754 single precision standard compatible floating point processor implemented using silicon compiler technology

Arunkumar V. Rajanala

198877 pp.
The statistical theory of relative errors in floating-point computationD. Stott Parker
⏱ 1h 2m

The statistical theory of relative errors in floating-point computation

D. Stott Parker

197662 pp.
Nekotorye primeneni͡ia o͡tsenochnoĭ ("gruboĭ") arifmetikiA. ͡IA Bel͡iankov
⏱ 35m

Nekotorye primeneni͡ia o͡tsenochnoĭ ("gruboĭ") arifmetiki

A. ͡IA Bel͡iankov

198935 pp.
Computer arithmeticEarl E. Swartzlander

Computer arithmetic

Earl E. Swartzlander

1990No page data
Negotiating arithmetic, construction proofDonald MacKenzie
⏱ 27m

Negotiating arithmetic, construction proof

Donald MacKenzie

199127 pp.
Cómputo Numérico con Aritmética de Punto Flotante IEEEMichael L. Overton
⏱ 2h 3m

Cómputo Numérico con Aritmética de Punto Flotante IEEE

Michael L. Overton

2002123 pp.
3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, TexasSymposium on Computer Arithmetic (3d 1975 Southern Methodist University)
⏱ 4h 9m

3rd Symposium on Computer Arithmetic, November 19-20, 1975, Southern Methodist University, Dallas, Texas

Symposium on Computer Arithmetic (3d 1975 Southern Methodist University)

1975249 pp.
Improving floating-point programmingPeter J. L. Wallis
⏱ 3h 11m

Improving floating-point programming

Peter J. L. Wallis

1990191 pp.
A variable precision processor moduleCatherine Yuk-Fun Chow
⏱ 3h 3m

A variable precision processor module

Catherine Yuk-Fun Chow

1980183 pp.
On the accuracy of solving triangular systems in parallelNai-kuan Tsao

On the accuracy of solving triangular systems in parallel

Nai-kuan Tsao

1988No page data
Page 1 of 2Next →