Yves Bertot Affine functions and series with co-inductive real numbers. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:37-63 [Journal]

Branimir Lambov RealLib: An efficient implementation of exact real arithmetic. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:81-98 [Journal]

Assia Mahboubi Implementing the cylindrical algebraic decomposition within the Coq system. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:99-127 [Journal]

Russell O'Connor A monadic, functional implementation of real numbers. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:129-159 [Journal]