Journal: Reliable Computing

Volume 1, Issue 4

371 -- 0Vyacheslav M. Nesterov. Dear colleagues
372 -- 373Vyacheslav M. Nesterov. Уеамаемъіе коллеіи!
375 -- 381Alkiviadis G. Akritas, Evgenia K. Akritas, Gennadi I. Malaschonok. Matrix computation of subresultant polynomial remainder sequences in integral domains
383 -- 391Boris S. Dobronets. Numerical methods using defects
393 -- 401A. N. Ostylovsky. An estimate of the absolute value and width of the solution of a linear system of equations with tridiagonal interval matrix by the interval sweep method
403 -- 410Ljiljana D. Petkovic, Miroslav Trajkovic. Verification methods for inclusion disks
411 -- 419Jürgen Wolff von Gudenberg. Design of a parallel linear algebra library for verified computation
421 -- 430Q. H. Wu, M. Mansour. Computation of the stability radius of a Schur polynomial: an orthogonal projection approach
434 -- 435Sergey P. Shary. IMACS-GAMM International Symposium on Numerical Methods and Error Bounds

Volume 1, Issue 3

209 -- 214Vladik Kreinovich, Günter Mayer. Towards the future of interval computations - Editors' Introduction to the student issue
215 -- 223Gopalan V. Balaji, J. D. Seader. Application of interval Newton's method to chemical engineering problems
225 -- 237Bo Friesen, Vladik Kreinovich. Ockham's razor in interval identification
239 -- 249Jonathan L. Herlocker, Jeffrey S. Ely. An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane
251 -- 263Chenyi Hu, Anna Frolov, R. Baker Kearfott, Qing Yang 0001. A general iterative sparse linear solver and its parallelization for interval Newton methods
265 -- 274Chenyi Hu, Joe Sheldon, R. Baker Kearfott, Qing Yang 0001. Optimizing INTBIS on the CRAY Y-MP
275 -- 284Thomas J. McLean, David H. Xu. Study on sampling techniques with CMMs
285 -- 297Driss Misane, Vladik Kreinovich. A new characterization of the set of all intervals, based on the necessity to check consistency easily
299 -- 315Hung T. Nguyen 0002, Vladik Kreinovich, Robert N. Lea, Dana Tolbert. Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control
317 -- 323Mark J. Schaefer, Tilmann Bubeck. A parallel complex zero finder
325 -- 342Michael J. Schulte, Earl E. Swartzlander Jr.. A software interface and hardware design for variable-precision interval arithmetic
343 -- 359Bonnie Traylor, Vladik Kreinovich. A bright side of NP-hardness of interval computations: interval heuristics applied to NP-problems
362 -- 0Paul P. Wang. Canadian professor's interval paper chosen best in fuzzy theory and technology

Volume 1, Issue 2

107 -- 0Vyacheslav M. Nesterov. Dear colleagues
108 -- 0Vyacheslav M. Nesterov. Уважаемые коллеги
109 -- 140Ladislav J. Kohout, Isabel Stabile, Hasan Kalantar, F. San-Andres, John Anderson. Parallel interval-based reasoning in medical knowledge-based system Clinaid
141 -- 172Vladik Kreinovich, David C. Nemir, Efrén Gútierrez. Applications of interval computations to earthquake-resistant engineering: How to compute derivatives of interval functions fast
173 -- 187Christian P. Ullrich, Roman Reith. A reliable linear algebra library for transputer networks
189 -- 199Jürgen Wolff von Gudenberg. Parallel accurate linear algebra subroutines

Volume 1, Issue 1

3 -- 4R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev. Preface
5 -- 7R. Baker Kearfott, Eldar A. Musaev, Vyacheslav M. Nesterov, Alexander G. Yakovlev. Предисловне
9 -- 14Helmut Ratschek, Jon G. Rokne. Formulas for the width of interval products
15 -- 31Ludmila Kupriyanova. Inner estimation of the united solution set of interval linear algebraic system
33 -- 40Vladik Kreinovich. Why intervals? A simple limit theorem that is similar to limit theorems from statistics
41 -- 64Christine Jäger, Dietmar Ratz. A combined method for enclosing all solutions of nonlinear systems of polynomial equations
65 -- 75Daniel E. Cooke. An informal introduction to a high level language with applications to interval mathematics
77 -- 91Jerry Eriksson, Per Lindström. A parallel interval method implementation for global optimization using dynamic load balancing
93 -- 98Vladik Kreinovich, Hung T. Nguyen 0002. Interval sessions at NAFIPS/IFIS/NASA'94