RealLib

MaRDI QIDQ14525swMATHFDO

Official website http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lambov:Branimir.html

Described by source

• RealLib: An efficient implementation of exact real arithmetic

Cited in

(19)

• A constructive theory of continuous domains suitable for implementation
• core 2
• xrc
• iRRAM
• RZ
• VNODE
• Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
• Effective real numbers in Mmxlib
• From coinductive proofs to exact real arithmetic: theory and applications
• Mmxlib
• On the Kolmogorov complexity of continuous real functions
• The Dedekind reals in abstract Stone duality
• Affine functions and series with co-inductive real numbers
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• Exact exploration and hanging algorithms
• RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
• Implementing real numbers with RZ
• Interval Arithmetic Using SSE-2
• RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice

This page was built for software: RealLib