Publication:2766803
From MaRDI portal
zbMath0988.68161MaRDI QIDQ2766803
Alberto Ciaffaglione, Pietro Di Gianantonio
Publication date: 22 July 2002
03F60: Constructive and recursive analysis
Related Items
A lazy approach to adaptive exact real arithmetic using floating-point operations, A certified, corecursive implementation of exact real numbers
Uses Software