Journals in DBLP

Reliable Computing
1999, volume: 5, number: 3

1. Hélène Collavizza, François Delobel, Michel Rueher
   Comparing Partial Consistencies. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:213-228 [Journal]
   
2. Neli S. Dimitrova, Svetoslav M. Markov
   Verified Computation of Fast Decreasing Polynomials. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:229-240 [Journal]
   
3. Eva Dyllong, Wolfram Luther, Werner Otten
   An Accurate Distance-Calculation Algorithm for Convex Polyhedra. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:241-253 [Journal]
   
4. Andreas Frommer, Andre Weinberg
   Verified Error Bounds for Linear Systems Through the Lanczos Process. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:255-267 [Journal]
   
5. Gerhard Heindl
   A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:269-278 [Journal]
   
6. Jean-Michel Muller
   A Few Results on Table-Based Methods. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:279-288 [Journal]
   
7. Nedialko S. Nedialkov, Kenneth R. Jackson
   An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:289-310 [Journal]
   
8. Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley
   The Interval-Enhanced GNU Fortran Compiler. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:311-322 [Journal]
   
9. Sergey P. Shary
   Outer Estimation of Generalized Solution Sets to Interval Linear Systems. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1999, v:5, n:3, pp:323-335 [Journal]
   
10. Adam W. Strzebonski
    A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1999, v:5, n:3, pp:337-346 [Journal]
    
11. Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
    A Numerical Verification Method of Solutions for the Navier-Stokes Equations. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1999, v:5, n:3, pp:347-357 [Journal]