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
