Journal: Reliable Computing

Volume 2, Issue 4

341 -- 350Vladik Kreinovich, Anatoly V. Lakeyev. Linear interval equations: Computing enclosures with bounded relative or absolute overestimation is NP-hard
351 -- 356Marina Lyashko. On the speed of convergence of the total step iterative method for a class of interval linear algebraic systems
357 -- 372Yixun Shi. Improving the efficiency index in enclosing a root of an equation
373 -- 381John W. Starner. Some examples using the interval data type in the relational database model
383 -- 386Vladik Kreinovich. Paul Erdös, 1913-1996
387 -- 388Vladik Kreinovich. Double bubble minimizes: Interval computations help in solving a long-standing geometric problem
391 -- 401Marcilia A. Campos, Erich-Peter Klement, Vladik Kreinovich. WAI 96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation

Volume 2, Issue 3

0 -- 0Günter Mayer, Vladik Kreinovich. Preface
213 -- 218Ch. Eick, Karen Villaverde. Robust algorithms that locate local extrema of a function of one variable from interval measurement results: A remark
219 -- 228Carlos Ferregut, Soheil Nazarian, K. Vennalaganti, C. C. Chang, Vladik Kreinovich. Fast error estimates for indirect measurements: applications to pavement engineering
229 -- 239O. Holzmann, B. Lang, H. Schütt. Newton s constant of gravitation and verified numerical quadrature
241 -- 253W. Krämer, S. Wedner. Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
255 -- 264Vladik Kreinovich, Karen Villaverde. A quadratic-time algorithm for smoothing interval functions
265 -- 285R. N. Lea, Vladik Kreinovich, Raul Trejo. Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control
287 -- 297Joe Lorkowski, Vladik Kreinovich. If we measure a number, we get an interval. What if we measure a function or an operator?
321 -- 327Alessandro Provetti. Ordering events: Intervals are sufficient, more general sets are usually not necessary
329 -- 331M. Beltran, Daniel E. Cooke. Reviews - Applications of reliable scientific computing

Volume 2, Issue 2

0 -- 0Götz Alefeld, Andreas Frommer, Bruno Lang. Preface
97 -- 102Marcilia A. Campos, Augusto C. A. Sampaio, Alexandre H. F. Brainer. Mechanising the theory of intervals using OBJ3
103 -- 109Tiarajú Asmuz Diverio, Ursula A. L. Fernandes, Dalcidio Moraes Claudio. Errors in vector processing and the library libavi.a
111 -- 117Vincent Heuveline, Miloud Sadkane. Chebyshev acceleration techniques for large complex non hermitian eigenvalue problems
119 -- 124Vladik Kreinovich, Vyacheslav M. Nesterov, Nina A. Zheludeva. Interval methods that are guaranteed to underestimate (and the resulting new justification of Kaucher arithmetic)
125 -- 131Anatoly V. Lakeyev. On the computational complexity of the solution of linear systems with moduli
133 -- 138Thomas Lynch, Michael J. Schulte. Software for high radix on-line arithmetic
139 -- 145Guevara Noubir, Henri J. Nussbaumer. Self-correcting polynomial programs
147 -- 153Stuart F. Oberman, Michael J. Flynn. Reducing division latency with reciprocal caches
155 -- 160Janne Pesonen, Eero Hyvönen. Interval approach challenges Monte Carlo simulation
161 -- 165Evgenija D. Popova. Interval operations involving NaNs
167 -- 171Jiri Rohn. Enclosing solutions of overdetermined systems of linear interval equations
173 -- 179Masaaki Sugihara, Seiji Fujino. Numerical solutions of Burgers equation with a large Reynolds number
181 -- 185Tomasz Szulc. Rank of convex combinations of matrices
187 -- 193Michael N. Vrahatis, Evangelia Triantafyllou. Locating, characterizing and computing the stationary points of a function

Volume 2, Issue 1

3 -- 33Sergey P. Shary. Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of kaucher arithmetic
35 -- 45Hans-Jürgen Dobner. Bounds of high quality for first kind Volterra integral equations
47 -- 62Michael J. Schulte, Earl E. Swartzlander Jr.. Variable-precision, interval arithmetic coprocessors
63 -- 79Vladik Kreinovich. Maximum entropy and interval computations - (September notes on summer impressions)
81 -- 0Vladik Kreinovich, Günter Mayer. Best student paper award
84 -- 85Andreas Frommer. SCAN 95: International symposium on scientific computing, computer arithmetic and validated numerics
86 -- 87Vladik Kreinovich. SONIC 95: Student mini-symposium on interval computations
88 -- 0Vladik Kreinovich. Interval talks at the first el paso shell oil symposium