Vuillemin's exact real arithmetic (1992)

by D R Lester
Venue:Functional Programming, Glasgow 1991: Proceedings of the 1991 Workshop, Portree, UK