A calculator for exact real number computation. B.Sc. project report, Univ. of Edinburgh; available from ftp://ftp.tardis.ed.ac.uk/ users/dbp/report.ps.gz (1998)

by D Plume