Journal: Reliable Computing

Volume 7, Issue 6

433 -- 447Olivier Beaumont, Bernard Philippe. Linear Interval Tolerance Problem and Linear Programming Techniques
449 -- 465Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE
467 -- 483Laurent Granvilliers. On the Combination of Interval Constraint Solvers
485 -- 495Gregory G. Menshikov. The Preliminary Enclosing of the ODE Solutions on the Base of the Cauchy-Duhamel Identity
497 -- 505Sergey P. Shary. A Surprising Approach in Interval Global Optimization; Dedicated to Prof. Dr. Gregory G. Menshikov on the occasion of his 70th anniversary
507 -- 508Boris S. Dobronets, Anatoly V. Lakeyev, Vyacheslav M. Nesterov, Sergey P. Shary, Yuri I. Shokin. Gregory G. Menshikov has turned 70
509 -- 510. 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics

Volume 7, Issue 5

353 -- 377Grigori L. Litvinov, Andrei N. Sobolevski. Idempotent Interval Analysis and Optimization Problems
379 -- 398Martin Berz, Jens Hoefkens. Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods
399 -- 408Lubomir V. Kolev, Ivo P. Nenov. Cheap and Tight Bounds on the Solution Set of Perturbed Systems of Nonlinear Equations
409 -- 424Irene A. Sharaya. On Maximal Inner Estimation of the Solution Sets of Linear Systems with Interval Parameters
425 -- 429R. Baker Kearfott. An Example of Singularity in Nonlinear Systems

Volume 7, Issue 4

281 -- 306Hartmut Schwandt. Synchronous and Asynchronous Interval Newton-Schwarz Methods for a Class of Large Systems of Nonlinear Equations
321 -- 340Walter Krämer, Armin Bantle. Automatic Forward Error Analysis for Floating Point Algorithms
341 -- 352Keith Worden, Roberto A. Osegueda, Carlos Ferregut, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio D. Cabrera. Interval Methods in Non-Destructive Testing of Material Structures

Volume 7, Issue 3

195 -- 207Michael A. Wolfe. On Bounding Solutions of Underdetermined Systems
209 -- 218Andraos Sweidan, Ahmad A. Hiasat. On the Theory of Error Control Based on Moduli with Common Factors
219 -- 230Vladimir N. Shashikhin. Robust Control Using Interval Analysis
231 -- 246Luc Jaulin. Reliable Minimax Parameter Estimation
275 -- 277Götz Alefeld, Vladik Kreinovich, Günter Mayer, Michael Huth. A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients
279 -- 280. Interval Talks at the International Conference on Intelligent Technologies InTech 2000 Bangkok, Thailand, December 12-14, 2000

Volume 7, Issue 2

77 -- 111Ernest Gardeñes, Miguel Ángel Sainz, Lambert Jorba, Remei Calm, Rosa Estela, Honorino Mielgo, Albert Trepat. Model Intervals
113 -- 127Svetoslav Markov. On the Algebraic Properties of Intervals and Some Applications
129 -- 140Evgenija D. Popova. Multiplication Distributivity of Proper and Improper Intervals
141 -- 155Sergey P. Shary. Interval Gauss-Seidel Method for Generalized Solution Sets to Interval Linear Systems
157 -- 169Peter Hertling. A Limitation for Underestimation Via Twin Arithmetic
171 -- 185Joaquim Armengol, Josep Vehí, Louise Travé-Massuyès, Miguel Ángel Sainz. Application of Modal Intervals to the Generation of Error-Bounded Envelopes
187 -- 191. SCAN 2000: GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics Interval 2000: International Conference on Interval Methods in Science and Engineering Karlsruhe, Germany, September 18-22, 2000

Volume 7, Issue 1

1 -- 15Luc Jaulin. Path Planning Using Intervals and Graphs
17 -- 28Lubomir V. Kolev. Automatic Computation of a Linear Interval Enclosure
29 -- 39Hans-Jürgen Dobner. On Kernel Inclusions
41 -- 47Vladik Kreinovich. Roundoff-Free Number Fields for Interval Computations
49 -- 52Michael A. Wolfe. A Note on a Uniqueness Theorem for the Second-Derivative Test of Qi
53 -- 57Gregory G. Menshikov, Alexey V. Tomashevsky. On [and]-Subdistributivity and [or]-Superdistributivity with Respect to Interval Map in Kaucher Arithmetic
59 -- 62Uwe Schäfer. The Feasibility of the Interval Gaussian Algorithm for Arrowhead Matrices
63 -- 65Svetoslav Markov. The Mystery of Intervals
67 -- 68Scott A. Starks, Vladik Kreinovich. Interval Methods and Their Applications: Invited Sessions at the World Automation Congress (WAC 2000) Maui, Hawaii, June 10-16, 2000
69 -- 70Vyacheslav Nesterov, Vladik Kreinovich. Session Interval and Computer-Algebraic Methods in Science and Engineering at the 6th International Association for Mathematics and Computers in Simulation (IMACS) Conference on Applications of Computer Algebra (ACA 2000) Saint Petersburg, Russia, ...
71 -- 72T. Y. Lin, Vladik Kreinovich. A Special Session on Granular Computing and Interval Computations at the 19th International Conference of the North American Fuzzy Information Processing Society (NAFIPS) Atlanta, Georgia, July 13-15, 2000
73 -- 74Jürgen Garloff. Minisymposium on Applications of Interval Computations at the Third World Congress of Nonlinear Analysts Catania, Sicily, Italy, July 19-26, 2000