nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A certified, corecursive implementation of exact real numbers
|
Ciaffaglione, Alberto |
|
2006 |
351 |
1 |
p. 39-51 13 p. |
artikel |
2 |
Admissible digit sets
|
Hughes, Jesse |
|
2006 |
351 |
1 |
p. 61-73 13 p. |
artikel |
3 |
Choosing starting values for certain Newton–Raphson iterations
|
Kornerup, Peter |
|
2006 |
351 |
1 |
p. 101-110 10 p. |
artikel |
4 |
Computations with effective real numbers
|
van der Hoeven, Joris |
|
2006 |
351 |
1 |
p. 52-60 9 p. |
artikel |
5 |
Divergence bounded computable real numbers
|
Zheng, Xizhong |
|
2006 |
351 |
1 |
p. 27-38 12 p. |
artikel |
6 |
Editorial board v-ix
|
|
|
2006 |
351 |
1 |
p. v-ix nvt p. |
artikel |
7 |
Implementing exact real arithmetic in python, C ++ and C
|
Briggs, Keith |
|
2006 |
351 |
1 |
p. 74-81 8 p. |
artikel |
8 |
Preface
|
Daumas, Marc |
|
2006 |
351 |
1 |
p. 1- 1 p. |
artikel |
9 |
Quadrature using 64-bit IEEE arithmetic for integrands over [0,1] with a singularity at 1
|
Hill, M. |
|
2006 |
351 |
1 |
p. 82-100 19 p. |
artikel |
10 |
Stability versus speed in a computable algebraic model
|
Ziegler, Martin |
|
2006 |
351 |
1 |
p. 14-26 13 p. |
artikel |
11 |
The design of the Boost interval arithmetic library
|
Brönnimann, Hervé |
|
2006 |
351 |
1 |
p. 111-118 8 p. |
artikel |
12 |
Three concepts of decidability for general subsets of uncountable spaces
|
Parker, Matthew W. |
|
2006 |
351 |
1 |
p. 2-13 12 p. |
artikel |
13 |
Using interval arithmetic to prove that a set is path-connected
|
Delanoue, Nicolas |
|
2006 |
351 |
1 |
p. 119-128 10 p. |
artikel |