Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations

DOI10.1007/978-3-662-49498-1_16zbMath1336.65078OpenAlexW2411581526MaRDI QIDQ2802491

Hideya Iwasaki, Hideyuki Kawabata

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49498-1_16

zbMATH Keywords

lazy evaluationHaskell libraryaccurate numerical computationimproving floating-point numbers

Mathematics Subject Classification ID

Roundoff error (65G50) Packaged methods for numerical algorithms (65Y15)

Uses Software

• RealLib
• Haskell
• iRRAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pruning with improving sequences in lazy functional programs
• RealLib: An efficient implementation of exact real arithmetic
• High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines

This page was built for publication: Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations