Exact real arithmetic using centred intervals and bounded error terms

DOI10.1016/J.JLAP.2005.07.002MaRDI QIDQ2577477zbMATH OpenOpenAlexFDO

Authors Jens Blanck

Publication date 22 December 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2005.07.002

zbMATH Keywords

interval analysis

Mathematics Subject Classification ID

General methods in interval analysis (65G40) Interval and finite arithmetic (65G30)

Recommendations

• Exact real arithmetic for interval number systems
• Interval arithmetic: from principles to implementation
• Efficient Exact Arithmetic over Constructive Reals
• Using Taylor models in exact real arithmetic
• scientific article; zbMATH DE number 3940621

Cites work

• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1196661 (Why is no real title available?)
• scientific article; zbMATH DE number 1231567 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• scientific article; zbMATH DE number 2090725 (Why is no real title available?)
• scientific article; zbMATH DE number 3303655 (Why is no real title available?)
• Abstract versus concrete computation on metric partial algebras
• Arbitrary precision real arithmetic: design and algorithms
• Computability and complexity in analysis. 4th international workshop, CCA 2000. Swansea, GB, September 17--19, 2000. Selected papers
• Domain representability of metric spaces
• Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
• Efficient exact computation of iterated maps
• Fast multiplication of large numbers
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
• The constructive reals as a Java library

Cited in

(5)

• Using Taylor models in exact real arithmetic
• Computational complexity of iterated maps on the interval
• Refinement of rational end-points real numbers by means of floating-point numbers
• Reducibility of domain representations and Cantor–Weihrauch domain representations
• Exact real arithmetic for interval number systems

Describes a project that uses

Uses Software

• Cr
• iRRAM

This page was built for publication: Exact real arithmetic using centred intervals and bounded error terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2577477)