Reliable Computing, Volume 5

Volume 5, Number 1, February 1999

• Shen Zuhe, Vladik Kreinovich:
  Preface. 1
  
• Kyoko Makino, Martin Berz:
  Efficient Control of the Dependency Problem Based on Taylor Model Methods. 3-12
  
• Martin Berz, Kyoko Makino:
  New Methods for High-Dimensional Verified Quadrature. 13-22
  
• Danqing Zhang, Weiguo Li, Shen Zuhe:
  Solving Underdetermined Systems with Interval Methods. 23-33
  
• John Funge:
  Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents. 35-61
  
• Gerhard Heindl:
  How to Guarantee Finite Termination of Verifying Global Optimization Codes. 63-68
  
• Michael Lerch, Jürgen Wolff von Gudenberg:
  Expression Templates for Dot Product Expressions. 69-80
  
• Olga Kosheleva, Vladik Kreinovich:
  Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem. 81-95
  
• Neli S. Dimitrova, Svetoslav Markov, Christian P. Ullrich:
  Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA'98. 97-100
  
• Tibor Csendes:
  SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. 101-102
  

Volume 5, Number 2, May 1999

• Lubomir V. Kolev:
  An Improved Method for Global Solution of Non-Linear Systems. 103-111
  
• Marcin Zelawski:
  Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation. 113-129
  
• Arnold Neumaier:
  A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations. 131-136
  
• Gregory E. Coxson:
  Computing Exact Bounds on Elements of an Inverse Interval Matrix is NP-Hard. 137-142
  
• Roumen Anguelov:
  Wrapping Function of the Initial Value Problem for ODE: Applications. 143-164
  
• Luc Jaulin, Jean-Louis Boimond, Laurent Hardouin:
  Estimation of Discrete-Event Systems Using Interval Computation. 165-173
  
• Olga Kosheleva, Sergio D. Cabrera, Glenn A. Gibson, Sreedhar Cherukuri:
  Interval Estimates for Signal Processing: Special Purpose Hardware. 175-196
  
• Interval Computations Help in Proving the Kepler Conjecture. 197-199
  
• Luc Longpré, Vladik Kreinovich:
  Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory. 201-203
  
• Jürgen Garloff:
  Karl Nickel is turned 75. 205-206
  
• Josep Vehí:
  Interval Workshop MISC'99. 207-208
  
• George F. Corliss:
  Reminiscences "Back in the Good Old Days...". 209-209
  

Volume 5, Number 3, August 1999

• Hélène Collavizza, François Delobel, Michel Rueher:
  Comparing Partial Consistencies. 213-228
  
• Neli S. Dimitrova, Svetoslav M. Markov:
  Verified Computation of Fast Decreasing Polynomials. 229-240
  
• Eva Dyllong, Wolfram Luther, Werner Otten:
  An Accurate Distance-Calculation Algorithm for Convex Polyhedra. 241-253
  
• Andreas Frommer, Andre Weinberg:
  Verified Error Bounds for Linear Systems Through the Lanczos Process. 255-267
  
• Gerhard Heindl:
  A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. 269-278
  
• Jean-Michel Muller:
  A Few Results on Table-Based Methods. 279-288
  
• 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. 289-310
  
• Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley:
  The Interval-Enhanced GNU Fortran Compiler. 311-322
  
• Sergey P. Shary:
  Outer Estimation of Generalized Solution Sets to Interval Linear Systems. 323-335
  
• Adam W. Strzebonski:
  A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. 337-346
  
• Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao:
  A Numerical Verification Method of Solutions for the Navier-Stokes Equations. 347-357
  

Volume 5, Number 4, November 1999

• Kong Min, Liu Qi, Shen Zuhe:
  On the Componentwise Krawczyk-Moore Iteration. 359-370
  
• Michael A. Wolfe:
  On Discrete Minimax Problems in R Using Interval Arithmetic. 371-383
  
• Olga Kosheleva, Vladik Kreinovich:
  Only Intervals Preserve the Invertibility of Arithmetic Operations. 385-394
  
• Ferenc Kálovics:
  Solving Nonlinear Constrained Minimization Problems with a New Interval Valued Function. 395-406
  
• Paluri S. V. Nataraj, Suresh Srivastava:
  Synthesis of Robustly Stabilizing General Order Compensators for Interval Plants Using Interval Analysis. 407-422
  
• The Dawning. 423-424