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 ===============================================================