Journals in DBLP

Reliable Computing
1997, volume: 3, number: 3

1. Svetoslav M. Markov
   Isomorphic Embeddings of Abstract Interval Systems. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:199-207 [Journal]
   
2. Zenon Kulpa
   Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:209-217 [Journal]
   
3. Jürgen K. Weinhofer, Werner C. Haas
   H[infin]-Control Using Polynomial Matrices and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:229-237 [Journal]
   
4. Werner Hofschuster, Walter Krämer
   A Computer Oriented Approach to Get Sharp Reliable Error Bounds. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:239-248 [Journal]
   
5. Wolfram Luther, Werner Otten
   Approximation Error and Error Accumulation for the Landen Transform. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:249-258 [Journal]
   
6. Christian Bliek
   Fast Evaluation of Partial Derivatives and Interval Slopes. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:259-268 [Journal]
   
7. Ole Caprani, Kaj Madsen, Ole Stauning
   Existence Test for Asynchronous Interval Iteration. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:269-275 [Journal]
   
8. Marian Mrozek, Marcin Zelawski
   Heteroclinic Connections in the Kuramoto-Sivashinsky Equation: a Computer Assisted Proof. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:277-285 [Journal]
   
9. Hans-Jürgen Dobner, Stefan Ritter
   Attacking a Conjecture in Mathematical Physics by Combining Methods of Computational Analysis and Scientific Computing. [Citation Graph (0, 0)][DBLP]
   Reliable Computing, 1997, v:3, n:3, pp:287-295 [Journal]
   
10. Boris S. Dobronets
    Two-sided Multigrid Method for Elliptic Boundary Value Problems. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:3, pp:297-303 [Journal]
    
11. Benedito Melo Acióly, Benjamín René Callejas Bedregal
    A Quasi-Metric Topology Compatible with Inclusion Monotonicity on Interval Space. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:3, pp:305-313 [Journal]
    
12. Michel Rueher, Christine Solnon
    Concurrent Cooperating Solvers over Reals. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:3, pp:325-333 [Journal]
    
13. Frédéric Benhamou, Laurent Granvilliers
    Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:3, pp:335-344 [Journal]