nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Arbitrary precision real arithmetic: design and algorithms
|
Ménissier-Morain, Valérie |
|
2005 |
64 |
1 |
p. 13-39 27 p. |
artikel |
2 |
Contents
|
|
|
2005 |
64 |
1 |
p. v- 1 p. |
artikel |
3 |
Editorial board
|
|
|
2005 |
64 |
1 |
p. CO2- 1 p. |
artikel |
4 |
Efficient exact computation of iterated maps
|
Blanck, J. |
|
2005 |
64 |
1 |
p. 41-59 19 p. |
artikel |
5 |
Guest editors’ introduction: Special issue on practical development of exact real number computation
|
Müller, Norbert |
|
2005 |
64 |
1 |
p. 1-2 2 p. |
artikel |
6 |
Precise numerical computation
|
Sofroniou, Mark |
|
2005 |
64 |
1 |
p. 113-134 22 p. |
artikel |
7 |
Real number computation with committed choice logic programming languages
|
Tsuiki, Hideki |
|
2005 |
64 |
1 |
p. 61-84 24 p. |
artikel |
8 |
Recent progress in exact geometric computation
|
Li, C. |
|
2005 |
64 |
1 |
p. 85-111 27 p. |
artikel |
9 |
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
|
Revol, N. |
|
2005 |
64 |
1 |
p. 135-154 20 p. |
artikel |
10 |
The constructive reals as a Java library
|
Boehm, Hans-J. |
|
2005 |
64 |
1 |
p. 3-11 9 p. |
artikel |