| 5 | -- | 20 | Tim Kersten. A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems |
| 21 | -- | 34 | Christian P. Ullrich. Software for fast validated solution of linear systems |
| 35 | -- | 54 | Tiarajú Asmuz Diverio, Philippe Olivier Alexandre Navaux, Dalcidio Moraes Claudio, Carlos Amaral Hölbig, U. A. L. Fernandes, R. L. Sagula. High performance with high accuracy laboratory |
| 55 | -- | 72 | Christoph Baumhof, Gerd Bohlender. A VLSI vector arithmetic coprocessor for the PCs |
| 73 | -- | 90 | Michael J. Schulte. Hardware interval multipliers |
| 99 | -- | 116 | Evgenija D. Popova, Christian P. Ullrich. Embedding directed intervals in Mathematica |
| 117 | -- | 132 | Paulo W. de Oliveira, Dalcidio Moraes Claudio. An Interval fixed-point theorem |
| 133 | -- | 146 | Genésio Gomes da Cruz Neto, Rafael Dueire Lins. Are functional languages suitable for scientific computing? |
| 147 | -- | 166 | Regivan H. Nunes Santiago, Benedito Melo Acióly. Toward a logic for numerical approximations |
| 167 | -- | 181 | Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio. Computational arithmetic: an updated view |