Journals in DBLP

RITA
1996, volume: 3, number: 2

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