
Journals in DBLP
 Norbert Th. Müller, Martin Escardo, Paul Zimmermann
Guest editors' introduction: Special issue on practical development of exact real number computation. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:12 [Journal]
 HansJuergen Boehm
The constructive reals as a Java library. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:311 [Journal]
 Valérie MénissierMorain
Arbitrary precision real arithmetic: design and algorithms. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:1339 [Journal]
 Jens Blanck
Efficient exact computation of iterated maps. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:4159 [Journal]
 Hideki Tsuiki
Real number computation with committed choice logic programming languages. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:6184 [Journal]
 Chen Li 0003, Sylvain Pion, CheeKeng Yap
Recent progress in exact geometric computation. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:85111 [Journal]
 Mark Sofroniou, Giulia Spaletta
Precise numerical computation. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:113134 [Journal]
 Nathalie Revol, Kyoko Makino, Martin Berz
Taylor models and floatingpoint arithmetic: proof that arithmetic operations are validated in COSY. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:135154 [Journal]
