Reliable Computing, Volume 3

Volume 3, Number 1, February 1997

• Siegfried M. Rump:
  Inclusion of Zeros of Nowhere Differentiable n-Dimensional Functions. 5-16
  
• Eldon R. Hansen:
  Sharpness in Interval Computations. 17-29
  
• Michael A. Wolfe:
  An Interval Algorithm for Bounding the Ranges of Real-Valued Functions of One Real Variable. 31-50
  
• Anatoly V. Lakeyev, Vladik Kreinovich:
  NP-Hard Classes of Linear Algebraic Systems with Uncertainties. 51-81
  
• Lubomir V. Kolev:
  Use of Interval Slopes for the Irrational Part of Factorable Functions. 83-93
  
• Hung T. Nguyen, Vladik Kreinovich:
  From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets). 95-102
  

Volume 3, Number 2, May 1997

• Sergey P. Shary:
  Algebraic Approach in the "Outer Problem" for Interval Linear Equations. 103-135
  
• Teruya Minamoto, Mitsuhiro T. Nakao:
  Numerical Verifications of Solutions for Nonlinear Parabolic Equations in One-Space Dimensional Case. 137-147
  
• Vladik Kreinovich, Andrew Bernat:
  Is Solar System Stable? A Remark. 149-154
  
• Leticia S. Chee:
  Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard. 155-172
  
• Josef Nedoma:
  Sign-Stable Solutions of Column-Vague Linear Equation Systems. 173-180
  

Volume 3, Number 3, August 1997

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

Volume 3, Number 4, November 1997

• Ljiljana D. Petkovic, Slobodan Trickovic, Miodrag S. Petkovic:
  Slope Methods of Higher Order for the Inclusion of Complex Roots of Polynomials. 349-362
  
• Jiri Rohn:
  On Overestimations Produced by the Interval Gaussian Algorithm. 363-368
  
• Vyacheslav M. Nesterov:
  Interval and Twin Arithmetics. 369-380
  
• Ferenc Kálovics, Gabriella Mészáros:
  Finding Global Minima of Maximum Functions by Using Exclusion Functions without Derivatives. 381-399
  
• Yelena M. Smagina:
  A New Approach to the Modal Regulator Synthesis for Interval Plant with Scalar Input. 401-410
  
• Volker Stahl:
  Error Reduction of the Taylor Centered Form by Half and an Inner Estimation of the Range. 411-420
  
• Gerhard Heindl:
  How to Compute Interval Inclusions of Geodetic Coordinates from Interval Inclusions of Cartesian Coordinates. 421-435
  
• Vladik Kreinovich, Scott A. Starks, Günter Mayer:
  On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC. 437-445
  
• A. Gabaldon:
  Applications of Reliable Scientific Computing. 447-448
  
• Applications to Control. 448-452
  
• Luc Longpré, Martin Berz:
  Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). 453-457
  
• Monica Nogueira:
  Interval-Related Talks at NASA URC Conference. 459-460
  
• Helmut Ratschek, Jon G. Rokne:
  Reliable Computing Special Issue on Reliable Geometric Computations. 461-462