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 BibTeX
- Christian P. Ullrich:
Software for fast validated solution of linear systems.
21-34 BibTeX
- 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 BibTeX
- Christoph Baumhof, Gerd Bohlender:
A VLSI vector arithmetic coprocessor for the PCs.
55-72 BibTeX
- Michael J. Schulte:
Hardware interval multipliers.
73-90 BibTeX
- Fernanda A. Oliveira:
Enclosing solutions of two point boundary value problems.
91-98 BibTeX
- Evgenija D. Popova, Christian P. Ullrich:
Embedding directed intervals in Mathematica.
99-116 BibTeX
- Paulo W. de Oliveira, Dalcidio Moraes Claudio:
An Interval fixed-point theorem.
117-132 BibTeX
- Genésio Gomes da Cruz Neto, Rafael Dueire Lins:
Are functional languages suitable for scientific computing?
133-146 BibTeX
- Regivan H. Nunes Santiago, Benedito Melo Acióly:
Toward a logic for numerical approximations.
147-166 BibTeX
- Tiarajú Asmuz Diverio, Dalcidio Moraes Claudio:
Computational arithmetic: an updated view.
167-181 BibTeX
Copyright © Tue Nov 18 20:45:19 2008
by Michael Ley (ley@uni-trier.de)
