The constructive reals as a Java library

DOI10.1016/J.JLAP.2004.07.002MaRDI QIDQ1779561zbMATH OpenOpenAlexFDO

Authors Hans-J. Boehm

Publication date 1 June 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.2004.07.002

zbMATH Keywords

CalculatorConstructive realsExact arithmeticInverse functionJava

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• RealLib: An efficient implementation of exact real arithmetic
• Efficient Exact Arithmetic over Constructive Reals
• A monadic, functional implementation of real numbers
• Implementing constructive real analysis (preliminary report)
• Arbitrary precision real arithmetic: design and algorithms

Cites work

• A precise numerical analysis program
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3658896 (Why is no real title available?)
• scientific article; zbMATH DE number 41040 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1222580 (Why is no real title available?)
• scientific article; zbMATH DE number 1746032 (Why is no real title available?)
• scientific article; zbMATH DE number 1746043 (Why is no real title available?)
• scientific article; zbMATH DE number 1746052 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)

Cited in

(3)

• Computing fundamental domains for Fuchsian groups
• Exact real arithmetic using centred intervals and bounded error terms
• A monadic, functional implementation of real numbers

Describes a project that uses

Uses Software

• iRRAM
• Creal
• Cr

This page was built for publication: The constructive reals as a Java library

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