External Links

    Journal: Reliable Computing

    Volume 5, Issue 4

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

    Volume 5, Issue 3

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

    Volume 5, Issue 2

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

    Volume 5, Issue 1

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