Implementing exact real arithmetic in python, C++ and C

DOI10.1016/J.TCS.2005.09.058MaRDI QIDQ817863zbMATH OpenOpenAlexWikidataFDO

Authors Keith Briggs

Publication date 20 March 2006

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

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

zbMATH Keywords

exact real arithmetic

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• RealLib: An efficient implementation of exact real arithmetic
• scientific article; zbMATH DE number 1746043
• Arbitrary precision real arithmetic: design and algorithms
• scientific article; zbMATH DE number 1231646
• Lazy algorithms for exact real arithmetic

Cites work

• scientific article; zbMATH DE number 435565 (Why is no real title available?)
• scientific article; zbMATH DE number 3737757 (Why is no real title available?)
• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• Algebraic computations with continued fractions

Cited in

(10)

• Abstract State Machines with Exact Real Arithmetic
• Using Taylor models in exact real arithmetic
• scientific article; zbMATH DE number 1189297 (Why is no real title available?)
• A lazy approach to adaptive exact real arithmetic using floating-point operations
• RealLib: An efficient implementation of exact real arithmetic
• Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
• Implementing real numbers with RZ
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 47463 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)

Describes a project that uses

Uses Software

• NTL
• xrc
• iRRAM
• Python

This page was built for publication: Implementing exact real arithmetic in python, C++ and C

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