W. Kahan  Home/Search
Context Related
| berkeley.edu/~dbindel/cl...whyieee.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~dbindel/c...279work (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper tries to do (Update)
Context of citations to this paper: More
.... A well defined standard, such as IEEE 754, allows much stronger assumptions to be made about the arithmetic, easing proof construction [61]. Arithmetic operations in Ada can throw exceptions. The conditions OVERFLOW and DIVIDE ERROR are collapsed into the single exception...
.... Kah83a] IEEE standards [IEEE85, IEEE87] older versions of these standards [ACM79, Cod81, IEEE81] discussion of these standards [Coo80, Kah81, Coo84, Cod84, Cod88, Lyn92, Pra93] implementation: 8087 coprocessor [Pal80, Rei81] language independent standards [ISO93, ISO93a,...
Cited by: More
Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996) (Correct)
Borneo 1.0.2 - Adding IEEE 754 floating point support to Java - Darcy (1998) (Correct)
Active bibliography (related documents): More All
0.5: Mathematical Software: Past, Present, and Future - Boisvert (1999) (Correct)
0.5: Parallel Programming Languages - Pingali (1998) (Correct)
0.4: Handling Floating-Point Exceptions in Numeric Programs - Hauser (1996) (Correct)
Similar documents based on text: More All
0.3: CS 279 Annotated Course Bibliography - Bindel (2001) (Correct)
0.1: On computing Givens rotations reliably and efficiently - Bindel, Demmel, Kahan.. (2000) (Correct)
0.1: Robust Geometric Computation (RGC), State of the Art - Santisteve (1999) (Correct)
Related documents from co-citation: More All
3: Interval Mathematics (context) - Ed - 1980
2: PASCAL-XSC - Language Reference with Examples (context) - Klatte, Kulisch et al. - 1992
2: Validated Computation of Polynomial Zeros by the Durand-Kerner Method II (context) - Kanno, Yamamoto - 1994
BibTeX entry: (Update)
William Kahan, "Why do we need a floating-point arithmetic standard?," 1981. http://citeseer.ist.psu.edu/kahan81why.html More
@techreport{ kahan81why,
author = "W. Kahan",
title = "Why Do We Need a Floating-Point Arithmetic Standard?",
address = "Berkeley, CA, USA",
pages = "41",
year = "1981",
url = "citeseer.ist.psu.edu/kahan81why.html" }
Citations (may not include all citations):203 Solving Least Squares Problems (context) - Lawson, Hanson
175 Matrix Eigensystem Routines -- EISPACK Guide (context) - Smith, Boyle et al. - 1976
147 LINPACK Users' Guide (context) - Dongarra, Moler et al. - 1979
71 Structured Programming (context) - Dahl, Dijkstra et al. - 1972
51 A Fortran multiple-precision arithmetic package ... MP, Algo.. (context) - Brent - 1975
38 Software Manual for the Elementary Functions (context) - Jr, Waite
37 A Floating-Point Technique for Extending the Available Preci.. (context) - Dekker - 1971
26 Preliminary Discussion of the Logical Design of an Electroni.. (context) - Burks, Goldstine et al. - 1946
23 Floating-Point Computation (context) - Sterbenz - 1974
17 A Simple But Realistic Model of Floating-Point Computation (context) - Brown - 1980
11 An Implementation Guide to a Proposed Standard for Floating-.. (context) - Coonen - 1980
6 A Survey of Error Analysis (context) - Kahan - 1972
4 Numerical Analysis as an Independent Science (context) - van Wijngaarden - 1966
3 Interval Arithmetic Options in the Proposed IEEE FloatingPoi.. (context) - Kahan - 1980
3 A Unified Decimal Floating-Point Architecture for the Suppor.. (context) - Ris - 1976
2 An AUGMENT Interface for Brent's Multiple Precision Arithmet.. (context) - Brent, Hooper et al. - 1950
2 The FUNPACK package of special function subroutines (context) - Jr - 1975
2 Cray-1 Computer System Hardware Reference Manual (context) - System, Manual et al. - 1979
2 A Realistic Model of Floating-Point Computation (context) - Brown - 1977
1 Environment Parameters and Basic Functions for Floating-Poin.. (context) - Brown, Feldman - 1980
1 Guide to Underflow and the Denormalized Numbers (context) - Coonen - 1981
1 Software Basics for Computational Mathematics (context) - Cody - 1980
1 Stevenson and appraisals by W (context) - Standard, Floating-Point et al.
1 to General Ismay (context) - Churchill, note - 1942
1 contains an earlier draft 5 (context) - Newsletter, Issue - 1979
1 Statement on Proposals for IEEE Standard for Micro-Processor.. (context) - Proposals, Standard et al. - 1978
1 to Richard Delp (context) - Dec - 1979
1 16-bit Makers Solidify Positions (context) - Capece, Posa - 1980
1 FORTRAN Subroutines in the areas of Mathematics and Statisti.. (context) - Library, Document
1 Making Mainframe Mathematics Accessible to Microcomputers (context) - Palmer, Nave et al. - 1980
1 Oxford OXNN (context) - FORTRAN, numerical et al.
1 System Capabilities get a Boost from a High-Powered Dedicate.. (context) - Bal, Burdick et al. - 1980
1 A Comparison of Two Recent Approaces to Machine Parameteriza.. (context) - Smith - 1978
1 Printing Financial Calculator Sets New Standards for Accurac.. (context) - Martin - 1977
1 Am9512: Single Chip Floating-Point Processor (context) - Cheng, Rallapalli - 1980
1 UNIX as an Environment for Producing Numerical Software (context) - Schryer
1 Konnen Sie sich auf lhren Rechner verlassen (context) - Kahan, Parlett - 1978
1 Mathematical Software Production (context) - Cowell, Fosdick
1 The PORT Mathematical Subroutine Library User's Manual (context) - Fox - 1976
1 A Portable Program to Find the Euclidean Norm of a Vector (context) - Blue - 1976
1 Evaluation of the language Ada for use in numerical computat.. (context) - Cox, Hammarling - 1980
1 the Precision Attainable with Various Floating-Point Number .. (context) - Brent - 1973
1 available from NTIS as item DDC AD 769 124/9 GA (context) - Hough, Implementation et al. - 1973
1 the National Physical Laboratory's Notes on Applied Science (context) - Wilkinson, in et al. - 1963
1 Some Fundamentals of Performance Evaluation for Numerical So.. (context) - Brown - 1979
Documents on the same site (http://www.cs.berkeley.edu/~dbindel/class/cs279/279work.html):
CS 279 Annotated Course Bibliography - Bindel (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC