Interval Computations. - 1991. - N 1. - 117 p.
CONTENTS
From the Editor (in Russian) 2
From the Editor 6
A. G. Yakovlev
Interval computations - subject of research
and useful tool (in Russian) 10
A. G. Yakovlev
Interval computations - subject of research
and useful tool 27
J. Herzberger, D. Bethke
On two algorithms for bounding
the inverses of an interval matrix 44
B. S. Dobronets, V. I. Senashov
On interval extension of
some classes of functions 54
R. B. Kearfott, Chenyi Hu, Manuel Novoa III
A review of preconditioners for the interval
Gauss-Seidel method 59
E. A. Musaev
Narrowing of intervals by partial derivatives 86
S. P. Shary
On compatibility of linear tolerance problem 92
B. V. Paluh, B. V. Vasilyov, V. L. Perov
Application of interval mathematics for solving
technical diagnostics tasks of non-stop manufacture
in chemical industry 99
/ SHORT COMMUNICATIONS
V. S. Zjuzin Review of the book: H. Bauch, K.-U. Jahn,
D. Oelschlaegel, H. Suesse, V. Wiebigke "Interval
Mathematics (Theory and Application)"
(H. Bauch, K.-U. Jahn, D. Oelschlaegel, H. Suesse, V. Wiebigke
Intervallmathematik (Teorie und Anwendungen). - Leipzig,
BSB B. G. Teubner Verlagsgesellschaft, 1987, 260 S.
(Mathematisch-Naturwissenschaftliche Bibliothek,
Band 72)) 105
E. A. Musaev
Interval Methods for Numerical Computation
West Germany, Oberwolfach, 3 - 10. 3 1990
(Information on international meeting) 108
S. P. Shary
7-th All-Union Workshop in Interval
Mathematics (Information) 111
Requirements for manuscript preparation (in Russian) 113
Requirements for manuscript preparation 114
ontents 115
====================================================================
Interval computations. - 1991. - N 2. - 134 p.
CONTENTS
From the Editor 2
From the Editor (in Russian) 4
MATHEMATICAL RESEARCHES
S. Shary
Optimal solution of interval linear
algebraic systems. I 7
V. Kreinovich, A. Bernat, E. Villa, Y. Mariscal
Parallel Computers. Estimate errors caused by
imprecise data 31
COMPUTER MEANS
R. Hammer, M. Neaga, D. Ratz, D. Shiryaev
PASCAL-XSC: A new language for scientific
computing 47
ADVERTISEMENT
The full translation into Russian of ANSI/IEEE
standards on computer arithmetic 82
Program package ASIAS 83
Program package ASIAS (in Russian) 84
REVIEWS AND ABSTRACTS
P. S. Pankov
Review of the new monograph:
Dobronets B. S., Shaydurov V. V. Two-sided
numerical methods 85
MEETINGS
Actual problems of applied mathematics. All-Union
conference. Saratov, May 20-22, 1991. A brief
report (A. V. Zakharov) 87
Actual problems of applied mathematics. All-Union
conference. Saratov, May 20-22, 1991. A brief
report (A. V. Zakharov, in Russian) 91
A. Davidenkoff
Advanced seminar on programming languages for
scientific/engineering computation, Leningrad,
June 3-6, 1991. A summarizing report 96
Interval subject on the SCAN-1991 symposium.
Information (J. Herzberger) 107
Resolution of 8th All-Union Workshop on interval
mathematics. Bishkek, October 1-3, 1991 108
Preliminary announcement, call for papers and further
information for a conference on numerical analysis
with automatic result verification. Lafayette,
Louisiana, February 25 - March 1, 1993 110
BIBLIOGRAPHY
Bibliography of Soviet works on interval
computations. Part 1 115
REQUIREMENTS FOR MANUSCRIPT PREPARATION 123
REQUIREMENTS FOR MANUSCRIPT PREPARATION (in Russian) 125
ADDRESSES OF EDITORIAL BOARD MEMBERS 127
CONTENTS 132
====================================================================
Interval computations. - 1992. - N 1. - 121 p.
CONTENTS
From the Editor 2
From the Editor (in Russian) 4
Mathematical researches
B. S. Dobronets
On some two-sided methods for solving systems
of ordinary differential equations 6
S. M. Rump
Inclusion of the solution for
large linear systems with M-matrix 22
Applications and studies of related disciplines
A. I. Orlov
Interval statistics 44
Computer means
E. A. Musaev
Wave computations. A technique for optimal
quasi-concurrent self-validation 53
A. G. Yakovlev
Classification approach to programming
of localizational (interval) computations 61
* * *
Special issue 85
Computer implementation
G. D. Pankova
Programming support and algorithmic language for validating
computations on ES (IBM 360/370) series computer 86
Reviews and abstracts
A review of the book:
A. Neumaier, Interval Methods for Systems of Equations
(G. Alefeld) 96
List of abstracts from
Referativnyi Zhurnal "Matematika" for 1991 98
Meetings
Interval Mathematics and Its Applications. Workshop 100
Bibliography
Bibliography of Soviet works on interval
computations. Part II 104
Requirements for manuscript preparation 112
Requirements for manuscript preparation (in Russian) 114
Addresses of editorial board members 116
Contents 119
====================================================================
Interval Computations. - 1992. - N 2. - 125 p.
CONTENTS
From the Editor 2
From the Editor (in Russian) 4
Mathematical researches
A. F. Filippov
Ellipsoidal estimates for a solution of a system of
differential equations 6
S. P. Shary
A new class of algorithms for optimal solution of
interval linear systems 18
P. S. Pankov
Proof of finite-dimensional inequalities by means of
interval analysis 30
V. S. Zyuzin
On metrization of interval sets $I(R),\ I(R^n)$ 39
Applications and studies of related disciplines
V. Kreinivich, A. Bernat, O. Kosheleva, A. Finkelstein
Interval estimates for closure-phase and
closure-amplitude in radio astronomy 51
Computer means
A. Davidenkoff
ACRITH-XSC: A programming language
for scientific/engineering computation 72
Learning
G. G. Menshikov
The teaching experience of interval computations
at the Department of applied mathematics and control
processes of St. -Petersburg University 83
Meetings
International conference ``INTERVAL-92'' 86
Mathematical modelling and scientific computation.
International conference.
Sozopol, Bulgaria, September 14-17, 1993 99
Reviews and abstracts
List of abstracts from
Referativnyi Zhurnal "Matematika" for 1991 105
Bibliography
Bibliography of Soviet works on interval
computations. Part III 107
Requirements for manuscript preparation 116
Requirements for manuscript preparation (in Russian) 118
Addresses of editorial board members 120
Contents 123
====================================================================
Interval Computations. - 1992. - N 3. - 126 p.
CONTENTS
From the editor 2
From the editor (in Russian) 4
From the invited editor 6
From the invited editor (in Russian) 7
A. Akunova, T. A. Akunov and A. V. Ushakov
Construction of a comparison system
for multivariate control processes
with interval state matrix 8
A. B. Babichev, O. B. Kadyrova, T. P. Kashevarova, A. L. Semenov
UniCalc as a tool for solving problems
with inaccurate and sub-definite data 13
F. Blomquist
Interval inclusions for Dawson's integral 17
A. F. Bochkov and L. A. Yakovleva
Algorithm for experimental zero-order optimization for plant
with bounded amplitude errors 27
A. F. Bochkov and N. V. Zung
Identification of nonlinear dynamic objects
using interval experimental data 31
D. M. Claudio, M. H. Escard\'o, and B. R. T. Franciosi
An order-theoretical approach to interval analysis 38
A. I. Demchenko, B. V. Peltsverger, O. V. Khavronin
Syntesis of transport networks structures
under conditions of uncertain
initial information 46
B. S. Dobronets
Interval methods based on
a posteriori estimates 50
I. V. Dugarova
An algorithm of interval matrix
asymptotic stability testing 56
O. B. Ermakov
Two-sided method for solving system of ordinary
differential equations with automatic determination
of guaranteed estimates 63
T. V. Evtushenko
Optimization problems for static plants
under uncertainty conditions 70
A. F. Filippov
Ellipsoidal error estimates
for Adams method 75
N. M. Glazunov
On interval extensions of computer algebra systems 80
T. Henriksen and K. Madsen
Parallel algorithms for global optimization 88
B. Kearfott, M. Dawande, K. Du and C. Hu
INTLIB: A portable Fortran-77 elementary function library 96
N. A. Khlebalin
Interval automatic systems --- theory, computer-aided
design and applications 106
A. V. Korlyukov
A new application of interval mathematics 116
International conference on interval and computer-algebraic
methods in science and engineering (INTERVAL'94) 122
Contents 126
====================================================================
Interval Computations. - 1992. - N 4. - 133 p.
CONTENTS
V. N. Krishchuk, N. M. Vasilega and G. L. Kozina
Interval operations and functions
library for FORTRAN 77 programming
system and its practice using 2
V. G. Krymsky
Algorithmic aims of reliability provision
for large-scale dynamic systems
with interval parameters 9
G. L. Litvinov
Error auto-correction
in rational approximation 14
S. M. Markov
On the presentation of ranges
of monotone functions
using interval arithmetic 19
G. G. Menshikov
Interval co-integration of differential
equations connected
by a substitution of the variable 32
E. A. Musaev
An approach to reliable computations
with THE minimal representation 37
A. S. Narin'yani
Ne-factors and natural pragmatics:
what do the intervals represent 42
V. M. Nesterov
Estimating a range of values
of functions using extended
interval arithmetics 48
P. S. Pankov and B. D. Bayachorova
Using interval methods in cluster analysis and
verified representation of connected sets 54
P. S. Senio and P. S. Vengersky
Solving systems of special form nonlinear
equations by means of some modifications of Runge
type interval iterative method 59
S. P. Shary
On controlled solution set
of interval algebraic systems 66
D. Shiriaev
PASCAL--XSC. A portable programming system
for scientific computations 76
S. J. Simoff
Interval approximate reasoning
for expert systems 83
N. V. Skybytsky and T. Yuping
Control of the linear dynamic plant with
intervally given parameters from the guarantee
condition of the required accuracy of the solution 88
E. M. Smagina
General problem of the asymptotic steady-output
tracking for plant with interval parameters 94
I. G. Ten
Synthesis of optimal control under interval
uncertainty in models 100
A. P. Voshchinin
Some questions of application of interval
mathematics in parameter estimation and decision
making 107
J. Wolff von Gudenberg
Programming language support for scientific
computation 116
V. S. Zyuzin
The extension of the Frechet derivative concept in
the interval-segment analysis 127
Contents 133
====================================================================
Interval Computations. - 1993. - N 1.
CONTENTS
From the Editor 2
From the Editor (in Russian) 4
Mathematical researches
Vladik Kreinovich, Anatoly V. Lakeyev and Sergey I. Noskov
Optimal solution of interval
linear systems is intractable (NP-hard) 6
R. Baker Kearfott and Xiaofa Shi
A preconditioner selection heuristic
for efficient iteration with decomposition
of arithmetic expressions for nonlinear
algebraic aystems 15
Ljiljana D. Petkovi\'c and Miroslav Trajkovi\'c
On some optimal inclusion
approximations by discs 34
V. A. Perepelitsa and G. L. Kozina
Interval discrete models
and multiobjectivity
complexity estimates 51
Yilmaz Akyildiz and Mohammad I. Al-Suwaiyel
No Pathologies for interval Newton's method 60
Advertisement
International conference ``INTERVAL'94'' 73
Reviews and abstracts
N. A. Khlebalin
Review of the Book 79
N. A. Khlebalin
Review of the Book (in Russian) 84
Meetings
Mathematical modelling and scientific computation.
International conference. Sozopol, Bulgaria,
September 14-17, 1993 99
Reviews and abstracts
List of abstracts from
Referativnyi Zhurnal "Matematika" for 1991 105
Bibliography
Bibliography of Soviet works on interval
computations. Part III 107
Requirements for manuscript preparation 116
Requirements for manuscript preparation (in Russian) 118
Addresses of editorial board members 120
Contents 123
====================================================================
Interval Computations. - 1993. - N 2
(Special Issue: Proceedings of the International Conference on
Numerical Analysis with Automatic Result Verification. Lafayette,
Louisiana, USA, Feb. 25 - March 1, 1993. - Vol. 1)
CONTENTS
From the Editor 2
From the Editor (in Russian) 3
Foreword by Prof. R. B. Kearfott 4
Fernando L. Alvarado and Zian Wang
Direct Sparse Interval Hull Computations for Thin Non-M-Matrices 5
A. B. Babichev, O. B. Kadyrova, T. P. Kashevarova,
A. S. Leshchenko, and A. L. Semenov
UniCalc, a Novel Approach to Solving Systems of Algebraic
Equations 29
Daniel Berleant
Automatically Verified Reasoning with Both
Intervals and Probability Density Functions 48
Ole Caprani, Brian Godthaab, and Kaj Madsen
Use of a Real-Valued Local Minimum in Parallel Interval
Global Optimization 71
Iliano Cervesato, Angelo Montanari, Alessandro Provetti
On the Non-monotonic Behaviour of Event Calculus
for Deriving Maximal Time Intervals 83
Amanda E. Connell and Robert M. Corless
An Experimental Interval Arithmetic Package in Maple 120
Jeffrey S. Ely
The VPI Software Package for Variable Precision
Interval Arithmetic 135
J. Garloff
The Bernstein Algorithm 154
Gregory D. Hager
Solving Large Systems of Nonlinear Constraints with
Application to Data Modeling 169
Meetings
Applications of Interval Computations: International
Workshop 201
Requirements for manuscript preparation 205
Requirements for manuscript preparation (in Russian) 206
Addresses of the editorial board members 207
Contents 209
====================================================================
Interval Computations. - 1993. - N 3
(Special Issue: Proceedings of the International Conference on
Numerical Analysis with Automatic Result Verification. Lafayette,
Louisiana, USA, Feb. 25 - March 1, 1993. - Vol. 2)
CONTENTS
E. R. Hansen
Computing Zeros of Functions Using Generalized
Interval Arithmetic 3
C. Hu, R. B. Kearfott, and A. Awad
On Bounding the Range of Some Elementary Functions
in FORTRAN--77 29
R. Van Iwaarden
Automatic Differentiation Applied to Unconstrained
Nonlinear Optimization with Result Verification 41
L. Jaulin and E. Walter
Guaranteed Nonlinear Parameter Estimation via
Interval Computations 61
J. B. Keiper
Interval Arithmetic in Mathematica 76
L. J. Kohout and I. Stabile
Interval-Valued Inference in Medical Knowledge-Based
System CLINAID 88
C. Falc\'o Korn and Ch. Ullrich
Verified Solution of Linear Systems Based on Common
Software Libraries 116
B. P. Kristinsdottir, Z. B. Zabinsky, T. Csendes,
and M. E. Tuttle
Methodologies for Tolerance Intervals 133
A. Leclerc
Parallel Interval Global Optimization and
Its Implementation in C++ 148
S. M. Markov
Some Interpolation Problems Involving Interval Data 164
M. Nakamura, R. Mines, and V. Kreinovich
Guaranteed Intervals for Kolmogorov's Theorem (and Their
Possible Relation to Neural Networks) 183
Advertisement
Journal of Symbolic Computations: Special Issue on
Validated Numerical Methods and Computer Algebra 200
Requirements for manuscript preparation 202
Requirements for manuscript preparation (in Russian) 203
Addresses of the editorial board members 204
Contents 206
====================================================================
Interval Computations. - 1993. - N 4
(Special Issue: Proceedings of the International Conference on
Numerical Analysis with Automatic Result Verification. Lafayette,
Louisiana, USA, Feb. 25 - March 1, 1993. - Vol. 3)
CONTENTS
V. M. Nesterov
How To Use Monotonicity-Type Information To Get Better
Estimates of the Range of Real-Valued Functions 3
J. Rohn
Cheap and Tight Bounds: The Recent Result by
E. Hansen Can Be Made More Efficient 13
M. J. Schaefer
Precise Zeros of Analytic Functions Using
Interval Arithmetic 22
C. A. Schnepper and M. A. Stadtherr
Application of a Parallel Interval Newton/Generalized
Bisection Algorithm to Equation-Based Chemical Process
Flowsheeting 40
M. J. Schulte and E. E. Swartzlander, Jr.
Parallel Hardware Designs for Correctly Rounded
Elementary Functions 65
L. Simcik and P. Linz
Boundary-Based Interval Newton's Method 89
O. Sirisaengtaksin and V. Kreinovich
Neural Networks That Are Not Sensitive To The
Imprecision of Hardware Neurons 100
U. Storck
Verified Calculation of the Nodes and Weights
for Gaussian Quadrature Formulas 114
I. B. Turksen
Interval Valued Fuzzy Sets and Fuzzy Connectives 125
V. M. Veliov
Computation of Integrals of Uncertain Vector Functions 143
E. Villa, A. Bernat, and V. Kreinovich
Estimating Errors of Indirect Measurement on Realistic
Parallel Machines: Routings on 2-D and 3-D Meshes
That are Nearly Optimal 154
K. Villaverde and V. Kreinovich
A Linear-Time Algorithm That Locates Local Extrema of a
Function of One Variable From Interval Measurement Results 176
A. G. Yakovlev
Multiaspectness and Localization 195
Meetings
J. Wolff von Gudenberg
International Conference INTERVAL'94 210
Advertisement 212
Requirements for manuscript preparation 214
Requirements for manuscript preparation (in Russian) 215
Addresses of the editorial board members 216
Contents 218
====================================================================
Interval Computations. - 1994. - N 1. - 116 p.
CONTENTS
From the Editor 2
From the Editor (in Russian) 3
Mathematical Research
G. Alefeld and G. Mayer
A Computer Aided Existence and Uniqueness Proof
for an Inverse Matrix Eigenvalue Problem 4
W. J. Luther and W. Otten
Verified Inclusion for Eigenvalues of Hill's Equation 28
G. L. Kozina and V. A. Perepelitsa
Interval Spanning Trees Problem:
Solvability and Computational Complexity 42
H. Schwandt
Suboptimal Enclosures for the Interval Buneman Algorithm
for Arbitrary Block Dimension 51
O. B. Ermakov
Solving Systems of Ordinary Differential Equations Using
Adams' Interpolation Method with Guaranteed Accuracy 90
Teaching
G. G. Menshikov
On Different Definitions of Interval Extension:
Problems of Teaching 96
Amendment 99
Bibliography
Bibliography of Soviet Works on Interval Computations.
Part V 100
Requirements for manuscript preparation 110
Requirements for manuscript preparation (in Russian) 111
Addresses of the editorial board members 112
Contents 114
====================================================================
Interval Computations. - 1994. - N 2. - 132 p.
CONTENTS
From the Editor 2
From the Editor (in Russian) 4
Mathematical Research
S. P. Shary
Solving the Tolerance Problem
for Interval Linear Systems 6
N. S. Dimitrova and S. M. Markov
On Validated Newton Type Method
for Nonlinear Equations 27
V. A. Podchukayev and I. M. Svetlov
An Analytical Method of Constructing
Hurwitz Interval Polynomials 52
Applications and Studies of Related Disciplines
M. Berz and G. Hoffstaetter
Exact Bounds on the Long Term Stability
of Weakly Nonlinear Systems Applied to the
Design of Large Storage Rings 68
V. Kreinovich, T. Swenson, and A. Elentukh
Interval Approach to Testing Software 90
Meetings
1st All-Russian Conference on Countinuous Logic
and Its Applications 110
1st All-Russian Conference on Countinuous Logic
and Its Applications (in Russian) 110
Bibliography
Bibliography of Soviet Works on Interval Computations.
Part VI 116
Requirements for manuscript preparation 127
Requirements for manuscript preparation (in Russian) 128
Addresses of the editorial board members 129
Contents 131
====================================================================
Interval Computations. - 1994. - N 3. - 128 p.
Parallel Algorithms for Interval Computations
CONTENTS
Foreword by the Invited Editors of the Special Issue 2
Foreword by the Invited Editors of the Special Issue (in Russian) 4
V. Kreinovich and A. Bernat
Parallel Algorithms for Interval Computations:
An Introduction 6
E. Lyager
Finding Local Extremal Points by Using Parallel
Interval Methods 63
K. Madsen and O. Toft
A Parallel Method for Linear Interval Equations 81
M. Plum
Enclosures for Solutions of Parameter-Dependent
Nonlinear Elliptic Boundary Value Problems:
Theory and Implementation on a Parallel Computer 106
Requirements for manuscript preparation 122
Requirements for manuscript preparation (in Russian) 123
Addresses of the editorial board members 124
Contents 126
====================================================================
Interval Computations. - 1994. - N 4. - 128 p.
Proceedings of SCAN-93
CONTENTS
Foreword by Prof. H. Stetter 2
Foreword by Prof. H. Stetter (in Russian) 3
S. Christiansen
Interval Methods and Condition Numbers
of Linear Algebraic Systems 4
M. Daumas and D. W. Matula
Rounding of Floating Point Intervals 28
M. Daumas, Ch. Mazenc, and J.-M. Muller
Towards a User Transparent Interval Arithmetic 46
M. T. Nakao
Numerical Verifications of Solutions
for Nonlinear Hyperbolic Equations 64
W. Luther and W. Otten
Computation of Standard Interval Functions
in Multiple-Precision Interval Arithmetic 78
E. D. Popova
Extended Interval Arithmetic
in IEEE Floating-Point Environment 100
Addresses of the editorial board members 130
Contents 132
===============================================================
===============================================================
================= Reliable Computing ==========================
===============================================================
===============================================================
Reliable Computing. - 1995. - N 1 (1). - 103 p.
CONTENTS
Preface 3
Preface (in Russian) 5
Mathematical research
Formulas for the width of interval products
Helmut Ratschek and Jon G.~Rokne 9
Inner estimation of the united solution set of interval linear
algebraic system
Ludmila Kupriyanova 15
Why intervals? A simple limit theorem that is similar to limit
theorems from statistics
Vladik Kreinovich 33
A combined method for enclosing all solutions of nonlinear systems
of polynomial equations
Christine J\"ager and Dietmar Ratz 41
Parallel Algorithms for Interval Computations
An informal introduction to a high level language with applications
to interval mathematics
Daniel E.~Cooke 65
A parallel interval method implementation for global optimization
using dynamic load balancing
Jerry Eriksson and Per Lindstr\"om 77
Meetings
Interval sessions at NAFIPS/IFIS/NASA'94
Vladik Kreinovich and Hung T.~Nguyen 93
Addresses of the Editorial Board Members 99
Information for Authors 101
Contents 103
====================================================================
Reliable Computing. - 1995. - 1 (2) - 102 p.
(Special Issue: Parallel Algorithms for Interval Computations)
CONTENTS
Preface (in Russian) 107
From the Editor 108
Parallel interval-based reasoning in medical knowledge-based
system CLINAID
Ladislav J. Kohout, Isabel Stabile, Hasan
Kalantar, Maria F. San-Andres, and John Anderson 109
Applications of interval computations to earthquake-resistant
engineering: How to compute derivatives of interval functions
fast
Vladik Kreinovich, David Nemir, and Efren Gutierrez 141
A reliable linear algebra library for transputer networks
Christian P. Ullrich and Roman Reith 173
Parallel accurate linear algebra subroutines
J\"urgen Wolff von Gudenberg 189
Addresses of the Editorial Board Members 201
Information for Authors 203
Contents 205
====================================================================
Reliable Computing. - 1995. - 1 (3) - 162 p.
(Special Student Issue)
CONTENTS
Editors' Introduction 209
Mathematical research
Application of interval Newton's method to chemical engineering
problems
Gopalan V. Balaji and J. D. Seader 215
Ockham's razor in interval identification
Bo H. Friesen and Vladik Kreinovich 225
An automatic and guaranteed determination of the number of roots
of an analytic function interior to a simple closed curve in the
complex plane
Jonathan Herlocker and Jeffrey Ely 239
A general iterative sparse linear solver and its parallelization
for interval Newton methods
Chenyi Hu, Anna Frolov, R. Baker Kearfott, and Qing Yang 251
Optimizing INTBIS on the CRAY Y-MP
Chenyi Hu, Joe Sheldon, R. Baker Kearfott, and Qing Yang 265
Study on sampling techniques with CMMs
Thomas J. McLean and David H. Xu 275
A new characterization of the set of all intervals, based on the
necessity to check consistency easily
Driss Misane and Vladik Kreinovich 285
Interpolation that leads to the narrowest intervals and its
application to expert systems and intelligent control
Hung T. Nguyen, Vladik Kreinovich, Bob Lea, and Dana Tolbert 299
A parallel complex zero finder
Mark J. Schaefer and Tilmann Bubeck 317
A software interface and hardware design for variable-precision
interval arithmetic
Michael J. Schulte and Earl E. Swartzlander, Jr. 325
A bright side of NP-hardness of interval computations: interval
heuristics applied to NP-problems
Bonnie Traylor and Vladik Kreinovich 343
Information
Special Issue 361
1994 Lotfi A. Zadeh Best Paper Award in the field of fuzzy logic 362
Addresses of the Editorial Board Members 363
Information for Authors 365
Contents 367
====================================================================
Reliable Computing. - 1995. - 1 (4) - 72 p.
CONTENTS
Preface 371
Mathematical research
Matrix computation of subresultant polynomial remainder
sequences in integral domains
Alkiviadis G. Akritas, Evgenia K. Akritas, and Genadii I.
Malaschonok 375
Numerical methods using defects
Boris S. Dobronets 383
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 A. N. Ostylovsky 393
Verification methods for inclusion disks
Ljiljana D. Petkovic and Miroslav Trajkovic 403
Design of a parallel linear algebra library for verified
computation
J. Wolff von Gudenberg 411
Computation of the stability radius of a Schur polynomial: an
orthogonal projection approach
Q.-H. Wu and M. Mansour 421
Meetings
International conference on interval methods and computer aided
proofs in science and engineering INTERVAL'96 431
II Workshop on Interval Arithmetic 433
IMACS-GAMM International Symposium on Numerical Methods and
Error Bounds
S. Shary 434
Addresses of the Editorial Board Members 436
Information for Authors 438
Amendments 439
Contents 440
===============================================================