Patrik Andersson  Home/Search
Context Related
| math.uu.se/research...FPaAndersson1.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: math.uu.se/research/p...preprints (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The common approach to real arithmetic on computers is floating point arithmetic, which can produce erroneous results due to roundo# errors. An alternative is exact real arithmetic and in this project such arithmetic is implemented in the well-known computer system Mathematica by the use of constructive real numbers. All basic operations are implemented as well as the common elementary functions and limits of general convergent sequences of real numbers. Also, as an application to ordinary... (Update)
Cited by: More
The constructive reals as a Java Library - Boehm (2004) (Correct)
Constructive Analysis with Witnesses - Helmut Schwichtenberg.. (Correct)
Active bibliography (related documents): More All
0.5: Computing the Logarithm of a Symmetric Positive Definite Matrix - Lu (Correct)
0.4: Unifying Constructive and Nonstandard Analysis - Palmgren (1999) (Correct)
0.4: Remarks on a Constructive Sheaf Model of Nonstandard Analysis - Palmgren (1999) (Correct)
Similar documents based on text: More All
0.3: Constructive Mathematics and Quantum Physics - Bridges, Svozil (1999) (Correct)
0.3: Modulus of continuity on parts of the boundary and.. - Project Report.. (Correct)
0.2: Review of Mathematica 4.1 - Elease Is The (2001) (Correct)
Related documents from co-citation: More All
2: MSB- rst digit serial arithmetic (context) - Nielsen, Kornerup - 1995
2: Exact real number computation using linear fractional transformations (context) - Edalat - 2003
2: LFT approach to real computations (context) - Edalat, Heckmann et al. - 2001
BibTeX entry: (Update)
Patrik Andersson, Exact real arithmetic with automatic error estimates in a computer algebra system, Master's thesis, Mathematics department, Uppsala University, 2001. http://citeseer.ist.psu.edu/andersson01exact.html More
@misc{ andersson01exact,
author = "P. Andersson",
title = "Exact real arithmetic with automatic error estimates in a computer algebra
system",
text = "Patrik Andersson, Exact real arithmetic with automatic error estimates
in a computer algebra system, Master's thesis, Mathematics department, Uppsala
University, 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/andersson01exact.html" }
Citations (may not include all citations):287 Mathematica - A system for Doing Mathematics by Computer (context) - Wolfram - 1991
234 Accuracy and Stability of Numerical Algorithms (context) - Higham - 1996
143 Foundations of Constructive Mathematics (context) - Beeson - 1985
99 Foundations of Constructive Analysis (context) - Bishop - 1967
58 and Oren Patashnik (context) - Graham, Knuth - 1994
47 Constructivism in Mathematics: An introduction (context) - Troelstra, van Dalen - 1988
27 Continued Fractions: Analytic Theory and Applications (context) - Jones, Thron - 1984
26 Elements of Numerical Analysis (context) - Henrici - 1964
22 Solution of Equations and Systems of Equations (context) - Ostrowski - 1966
14 Mathematics as a numerical language (context) - Bishop - 1970
7 Discrete Variable Methods in Ordinary Di#erential Equations (context) - Henrici - 1962
5 A constructive approach to nonstandard analysis (context) - Palmgren - 1995
5 Constructive nonstandard analysis (context) - Palmgren - 1996
2 Truncation error bounds for g-fractions (context) - Gragg - 1968
1 The Application of Continued Fractions and their Generalizat.. (context) - Chovanskij - 1963
1 volume 279 of Grundlehren der matematischen Wissenschaften (context) - Bishop, Bridges - 1985
1 Constructive real numbers in mathematica (context) - Palmgrem - 2000
Documents on the same site (http://www.math.uu.se/research/pub/preprints.html): More
Random Assignment with Integer Costs - Parviainen (2001) (Correct)
Empty confidence sets for epidemics, branching processes.. - Ball, Britton, O'Neill (2001) (Correct)
Lower and Upper Bounds for the Time Constant of First-Passage .. - Alm, Parviainen (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