Volume 3,
Number 1,
July 1996
Volume 3,
Number 2,
December 1996
- Tim Kersten:
A case study for the use of verifying BLAS in na LAPACK like verifying driver-routine for the solution of linear systems.
5-20
- Christian P. Ullrich:
Software for fast validated solution of linear systems.
21-34
- 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.
35-54
- Christoph Baumhof, Gerd Bohlender:
A VLSI vector arithmetic coprocessor for the PCs.
55-72
- Michael J. Schulte:
Hardware interval multipliers.
73-90
- Fernanda A. Oliveira:
Enclosing solutions of two point boundary value problems.
91-98
- Evgenija D. Popova, Christian P. Ullrich:
Embedding directed intervals in Mathematica.
99-116
- Paulo W. de Oliveira, Dalcidio Moraes Claudio:
An Interval fixed-point theorem.
117-132
- Genésio Gomes da Cruz Neto, Rafael Dueire Lins:
Are functional languages suitable for scientific computing?
133-146
- Regivan H. Nunes Santiago, Benedito Melo Acióly:
Toward a logic for numerical approximations.
147-166
- Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio:
Computational arithmetic: an updated view.
167-181
Copyright © Tue Dec 1 16:36:03 2009
by Michael Ley (ley@uni-trier.de)