Exact real arithmetic for interval number systems

DOI10.1016/J.TCS.2014.04.030MaRDI QIDQ2015130zbMATH OpenOpenAlexFDO

Authors Petr Kůrka

Publication date 23 June 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2014.04.030

zbMATH Keywords

exact real arithmeticMöbius transformation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1263361
• Exact real arithmetic using centred intervals and bounded error terms
• Generalizing the real interval arithmetic
• scientific article; zbMATH DE number 1746052
• Verified Real Number Calculations: A Library for Interval Arithmetic
• scientific article; zbMATH DE number 1231646
• Real Number Calculations and Theorem Proving
• Towards using exact real arithmetic for initial value problems
• Logic for exact real arithmetic
• scientific article; zbMATH DE number 1231567

Cites work

• Exact arithmetic on the Stern-Brocot tree
• Finite state transducers for modular Möbius number systems
• scientific article; zbMATH DE number 3347169 (Why is no real title available?)
• Möbius number systems based on interval covers
• Möbius number systems with sofic subshifts
• The Stern-Brocot graph in Möbius number systems

Cited in

(11)

• Arbitrary precision real arithmetic: design and algorithms
• The hybrid real number system
• Real solution isolation using interval arithmetic
• Exact real arithmetic using centred intervals and bounded error terms
• Digital look up tables and real number theorem proving
• A method of ranking interval numbers based on degrees for multiple attribute decision making
• Mathematical model and implementation of rational processing
• scientific article; zbMATH DE number 1231646 (Why is no real title available?)
• scientific article; zbMATH DE number 729912 (Why is no real title available?)
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• scientific article; zbMATH DE number 1405640 (Why is no real title available?)

This page was built for publication: Exact real arithmetic for interval number systems

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