|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Additive symmetries: the non-negative case |
Daumas, Marc |
2003 |
291 | 2 |
p. 143-157 15 p. |
artikel |
|
| 2 | A p×p bit fraction model of binary floating point division and extremal rounding cases |
Matula, David W. |
2003 |
291 | 2 |
p. 159-182 24 p. |
artikel |
|
| 3 | Density results on floating-point invertible numbers |
Hanrot, G |
2003 |
291 | 2 |
p. 135-141 7 p. |
artikel |
|
| 4 | Preface |
Kornerup, Peter |
2003 |
291 | 2 |
p. 133-134 2 p. |
artikel |
|
| 5 | Solving the generalized mask constraint for test generation of binary floating point add operation |
Ziv, Abraham |
2003 |
291 | 2 |
p. 183-201 19 p. |
artikel |
|
| 6 | Using PVS to validate the algorithms of an exact arithmetic |
Lester, David |
2003 |
291 | 2 |
p. 203-218 16 p. |
artikel |
6 gevonden resultaten