Lazy algorithms for exact real arithmetic

MaRDI QIDQ2847781zbMATH OpenFDO

Authors Pietro Di Gianantonio, Pier Luca Lanzi

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051461

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Data structures (68P05) Nonnumerical algorithms (68W05)

Recommendations

• Lazy computation with exact real numbers
• scientific article; zbMATH DE number 1231646
• Lazy computation with exact real numbers
• Arbitrary precision real arithmetic: design and algorithms
• A lazy approach to adaptive exact real arithmetic using floating-point operations

Cited in

(12)

• Hashing lazy numbers
• Arbitrary precision real arithmetic: design and algorithms
• Lookahead analysis in exact real arithmetic with logical methods
• scientific article; zbMATH DE number 1222580 (Why is no real title available?)
• scientific article; zbMATH DE number 1231644 (Why is no real title available?)
• Lazy computation with exact real numbers
• A lazy approach to adaptive exact real arithmetic using floating-point operations
• Lazy computation with exact real numbers
• Efficient Exact Arithmetic over Constructive Reals
• A domain-theoretic approach to statistical programming languages
• The world's shortest correct exact real arithmetic program?
• Implementing exact real arithmetic in python, C++ and C

This page was built for publication: Lazy algorithms for exact real arithmetic

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