Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Di Gianantonio, P.: A Golden Ratio Notation for the Real Numbers. CWI Technical Report (1991).
2. Edalat, A.: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic. Bulletin of Symbolic Logic, Vol. 3 (1997).
3. Edalat, A., Heckmann R.: Computation with Real Numbers. Applied Semantics Summer School, APPSEM 2000 (2000).
4. Edalat, A., Potts, P. J.: A New Representation for Exact Real Numbers. Electronic Notes in Theoretical Computer Science, Vol. 6 (1997).
5. Errington, L., Heckmann, R.: Using the C-LFT Library (2000).