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, Ursula 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

Last update Sat May 18 20:51:35 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page