Exact Real Arithmetic Systems: Results of Competition

14 years 3 months ago

Download www.cs.swan.ac.uk

Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the diﬀerent approaches used.

Jens Blanck

Real-time Traffic

CCA 2000 | Diﬀerent Approaches | Real Number Computations | Short Evaluation | Theoretical Computer Science |

claim paper

» Exact real arithmetic using centred intervals and bounded error terms

» Certified Exact Real Arithmetic Using Coinduction in Arbitrary Integer Base

» A Tightly Coupled Accelerator Infrastructure for Exact Arithmetics

» A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent R...

» alphaCertified certifying solutions to polynomial systems

» An algorithm to solve integer linear systems exactly using numerical methods

» Inverse Arithmetic Operators for Fuzzy Intervals

» Compiling relational Bayesian networks for exact inference

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CCA
Authors	Jens Blanck

Comments (0)

Sciweavers

Exact Real Arithmetic Systems: Results of Competition

CCA 2000 | Diﬀerent Approaches | Real Number Computations | Short Evaluation | Theoretical Computer Science |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers