Douglas M. Priest  Home/Search
Context Related
| berkeley.edu/pub/t...priestthesis.ps.Z 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 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Floating point arithmetics generally possess many regularity properties in addition to those that are typically used in roundoff error analyses; these properties can be exploited to produce computations that are more accurate and cost effective than many programmers might think possible. Furthermore, many of these properties are quite simple to state and to comprehend, but few programmers seem to be aware of them (or at least willing to rely on them). This dissertation presents some of these... (Update)
Cited by: More
Automatic Generation of Staged Geometric Predicates - Aleksandar Nanevski Carnegie (2001) (Correct)
Quad-Double Arithmetic: Algorithms, Implementation, and.. - Hida, Li, Bailey (2000) (Correct)
Finite Precision Elementary Geometric Constructions - Devillers, Guigue (2002) (Correct)
Similar documents (at the sentence level):
5.2%: Algorithms for Arbitrary Precision Floating Point Arithmetic - Priest (1991) (Correct)
Active bibliography (related documents): More All
2.2: Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996) (Correct)
1.0: A Test of a Computer's Floating-Point Arithmetic Unit - Schryer (1981) (Correct)
0.6: A Mechanically-Checked Correctness Proof of a Floating-Point.. - Wilding (1990) (Correct)
Similar documents based on text: More All
0.2: ZEA - A zero-free exact arithmetic - Michelucci, Moreau (2000) (Correct)
0.2: Mixed Arithmetics: Introduction and Design Structure - Mignotte, al. (1997) (Correct)
0.1: Scheduling using mixed arithmetic: an ILP formulation - Mignotte, Peyran (1997) (Correct)
Related documents from co-citation: More All
5: A floating point technique for extending the available precision (context) - Dekker - 1971
5: multiple processor vortex sheet roll-up computation (context) - Bailey, Krasny et al. - 1993
4: Exact geometric computation in LEDA - Burnikel, Konnemann et al. - 1995
BibTeX entry: (Update)
Douglas M. Priest, On properties of floating point arithmetics : numerical stability and cost of accurate computations. Draft of PhD Thesis, Berkeley, 9 Nov 1992. http://citeseer.ist.psu.edu/priest92propertie.html More
@phdthesis{ priest92properties,
author = "Douglas M. Priest",
title = "On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations",
address = "Berkeley, CA, USA",
pages = "iv + 136",
year = "1992",
url = "citeseer.ist.psu.edu/priest92propertie.html" }
Citations (may not include all citations):2003 The Art of Computer Programming (context) - Knuth - 1981
1254 Computational Geometry: an Introduction (context) - Preparata - 1985
213 a Theory of Computation and Complexity over the Real Numbers.. (context) - Blum, Shub et al. - 1989
124 Lower Bounds for Algebraic Computation Trees (context) - Ben-Or - 1983
117 Rounding Errors in Algebraic Processes (context) - Wilkinson - 1964
67 Verifiable Implementations of Geometric Algorithms Using Fin.. (context) - Milenkovic - 1988
51 A Fortran Multiple Precision Arithmetic Package (context) - Brent - 1978
46 Computer Arithmetic in Theory and Practice (context) - Kulisch - 1981
38 Sylvester's Identity and Multistep Integer-Preserving Gaussi.. (context) - Bareiss - 1968
37 A Floating-Point Technique for Extending the Available Preci.. (context) - Dekker - 1971
27 Algorithms for Arbitrary Precision Floating Point Arithmetic - Priest - 1991
26 Elements of Numerical Analysis (context) - Henrici - 1964
23 the Orthogonality of Eigenvectors Computed by Divide-and-Con.. (context) - Sorensen - 1991
23 Floating-Point Computation (context) - Sterbenz - 1974
21 Underflow and the Reliability of Numerical Software (context) - Demmel - 1984
18 A Portable High Performance Multiprecision Package - Bailey - 1992
17 A Simple but Realistic Model of Floating-Point Computation (context) - Brown - 1981
15 ACM Trans (context) - Software, Floating-Point - 1981
15 A Stable and Efficient Algorithm for the Rank-one Modificati.. (context) - Gu - 1992
14 Some Remarks on the Foundations of Numerical Analysis (context) - Smale - 1990
14 Floating-Point Computation of Functions with Maximum Accurac.. (context) - Bohlender - 1977
14 Correction d'une Somme en Arithmetique `a Virgule Flottante (context) - Pichat - 1972
13 Further Remarks on Reducing Truncation Errors (context) - Kahan - 1965
12 MACHAR: A Subroutine to Dynamically Determine Machine Parame.. (context) - Cody - 1988
11 The Accuracy of Floating Point Summation - Higham - 1991
11 A Versatile Precompiler for Nonstandard Arithmetics (context) - Crary - 1979
9 Computer Architecture: A Quantitative Approach (context) - Goldberg, Computer et al. - 1990
8 Experiment on Gram-Schmidt Orthogonalization (context) - Rice - 1966
7 Computational Graphs and Rounding Error (context) - Bauer - 1974
6 Systematic Programming: An Introduction (context) - Wirth - 1973
6 Parallel Algorithms for the Rounding-Exact Summation of Floa.. (context) - Leuprecht - 1982
6 Analysis of Some Known Methods of Improving the Accuracy of .. (context) - Linnainmaa - 1974
6 SIAM Review (context) - Modern - 1971
4 Stable Evaluation of Polynomials (context) - Mesztenyi - 1967
4 Numerical Stability of Simple Geometric Algorithms in the Pl.. (context) - Ottman, Thiemt et al. - 1987
4 Floating-Point Arithmetic and Program Correctness Proofs (context) - Holm - 1980
3 Can You Count on Your Calculator (context) - Kahan - 1977
3 Towards a Formal Specification of Floating Point (context) - Wichmann - 1989
3 Recipes for Geometry and Numerical Analysis (context) - Dobkin - 1988
3 Algorithm 693: A FORTRAN Package for Floating-Point Multiple.. (context) - Smith - 1991
3 Evaluation of Arithmetic Expressions with Maximum Accuracy (context) - Bohm - 1983
2 Algorithms to Reveal Properties of Floating Point Arithmetic (context) - Malcolm - 1972
2 More on Algorithms That Reveal Properties of Floating Point .. (context) - Gentleman - 1974
2 lecture notes from Joint Seminar on Issues and Directions in.. (context) - Paradoxes, of - 1989
2 Compiler Support for Floating-Point Computation (context) - Farnum - 1988
2 Precise Evaluation of Polynomials in Several Variables (context) - Lohner - 1988
2 A Stopping Criterion for Polynomial Root Finding (context) - Adams - 1967
2 Quasi Double Precision in Floating-Point Addition (context) - Moller - 1965
1 Computability in Dynamical Systems (context) - Malajovich
1 Numerical Analysis as an Independent Science (context) - van Wijngaarden - 1966
1 MP Floating Point and Cholesky Factorization (context) - Carter - 1991
1 Interval Arithmetic Implementations Using Floating Point Ari.. (context) - Clemmesen - 1984
1 Patriot Missile Defense: Software Problem Led to System Fail.. (context) - IMTEC-, Report
1 Information Technology -- Language Independent Arithmetic --.. (context) - IEC - 1992
1 Try Again : : : How Hard (context) - If, You et al.
1 ACM SIGNUM Newsletter (context) - Analysis, the - 1991
1 Polynomials with Multiple Zeroes (context) - Guting - 1967
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.icsi.berkeley.edu.html):
Bayesian Learning of Probabilistic Language Models - Stolcke (1994) (Correct)
The Acquisition of Lexical Semantics for Spatial Terms: A.. - Regier (1992) (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