% BibTeX References % % Created by the maintainers of the Interval Computations % WWW page (http://cs.utep.edu/interval-comp/main.html). % % Changes: % 05/11 Created @String{Send_Questions_Or_Comments_To = "vladik@cs.utep.edu"} @String{Or_Send_Them_To = "mkosh@cs.utep.edu"} % Bibliographical entries @Article{Akritas95, author = "A. G. Akritas and E. K. Akritas and G. I. Malaschonok", title = "Matrix computation of subresultant polynomial remainder sequences in integral domains", journal = "Reliable Computing", number = "4", volume = "1", pages = "375--382", year = "1995", } @Article{Akunova92, author = "A. Akunova and T. A. Akunov and A. V. Ushakov", title = "Construction of a comparison system for multivariate control processes with interval state matrix", journal = "Interval Computations", number = "3", pages = "8--12", year = "1992", } @Article{Akyildiz93, author = "Y. Akyildiz and M. I. Al-Suwaiyel", title = "No pathologies for interval {N}ewton's method", journal = "Interval Computations", number = "1", pages = "60--72", year = "1993", } @Article{Alefeld94, author = "G. Alefeld and G. Mayer", title = "A Computer Aided Existence and Uniqueness Proof for an Inverse Matrix Eigenvalue Problem", journal = "Interval Computations", number = "1", pages = "4--27", year = "1994", } @Article{Alvarado93, author = "F. L. Alvarado and Zian Wang", title = "Direct Sparse Interval Hull Computations for Thin Non-{M}-Matrices", journal = "Interval Computations", number = "2", pages = "5--28", year = "1993", } @Article{Babichev92, author = "A. B. Babichev and O. B. Kadyrova and T. P. Kashevarova and A. L. Semenov", title = "{UniCalc} as a tool for solving problems with inaccurate and sub-definite data", journal = "Interval Computations", number = "3", pages = "13--16", year = "1992", } @Article{Babichev93, author = "A. B. Babichev and O. B. Kadyrova and T. P. Kashevarova and A. S. Leshchenko and A. L. Semenov", title = "{UniCalc}, a Novel Approach to Solving Systems of Algebraic Equations", journal = "Interval Computations", number = "2", pages = "29--47", year = "1993", } @Article{Balaji95, author = "G. V. Balaji and J. D. Seader", title = "Application of interval Newton's method to chemical engineering problems", journal = "Reliable Computing", number = "3", volume = "1", pages = "215--224", year = "1995", } @Article{Berleant93, author = "D. Berleant", title = "Automatically Verified Reasoning with Both Intervals and Probability Density Functions", journal = "Interval Computations", number = "2", pages = "48--70", year = "1993", } @Article{Berz94, author = "M. Berz and G. Hoffstaetter", title = "Exact Bounds on the Long Term Stability of Weakly Nonlinear Systems Applied to the Design of Large Storage Rings", journal = "Interval Computations", number = "2", pages = "68--89", year = "1994", } @Article{Blomquist92, author = "F. Blomquist", title = "Interval inclusions for {D}awson's integral", journal = "Interval Computations", number = "3", pages = "17--26", year = "1992", } @Article{Bochkov92, author = "A. F. Bochkov and L. A. Yakovleva", title = "Algorithm for experimental zero-order optimization for plant with bounded amplitude errors", journal = "Interval Computations", number = "3", pages = "27--30", year = "1992", } @Article{Bochkov92a, author = "A. F. Bochkov and N. V. Zung", title = "Identification of nonlinear dynamic objects using interval experimental data", journal = "Interval Computations", number = "3", pages = "31--37", year = "1992", } @Article{Campos96, author = "M. A. Campos and A. C. A. Sampaio and A. H. F. Brainer", title = "Mechanising the theory of intervals using {OBJ3}", journal = "Reliable Computing", number = "2", volume = "2", pages = "97--102", year = "1996", } @Article{Caprani93, author = "O. Caprani and B. Godthaab and K. Madsen", title = "Use of a Real-Valued Local Minimum in Parallel Interval Global Optimization", journal = "Interval Computations", number = "2", pages = "71--82", year = "1993", } @Article{Cervesato93, author = "I. Cervesato and A. Montanari and A. Provetti", title = "On the Non-monotonic Behaviour of Event Calculus for Deriving Maximal Time Intervals", journal = "Interval Computations", number = "2", pages = "83--119", year = "1993", } @Article{Christiansen94, author = "S. Christiansen", title = "Interval Methods and Condition Numbers of Linear Algebraic Systems", journal = "Interval Computations", number = "4", pages = "4--27", year = "1994", } @Article{Claudio92, author = "D. M. Claudio and M. H. Escardo and B. R. T. Franciosi", title = "An order-theoretical approach to interval analysis", journal = "Interval Computations", number = "3", pages = "38--45", year = "1992", } @Article{Connell93, author = "A. E. Connell and R. M. Corless", title = "An Experimental Interval Arithmetic Package in {M}aple", journal = "Interval Computations", number = "2", pages = "120--134", year = "1993", } @Article{Cooke95, author = "D. E. Cooke", title = "An informal introduction to a high level language with applications to interval mathematics", journal = "Reliable Computing", number = "1", volume = "1", pages = "65--76", year = "1995", } @Article{Daumas94, author = "M. Daumas and D. W. Matula", title = "Rounding of Floating Point Intervals", journal = "Interval Computations", number = "4", pages = "28--45", year = "1994", } @Article{Daumas94a, author = "M. Daumas and Ch. Mazenc and J.-M. Muller", title = "Towards a User Transparent Interval Arithmetic", journal = "Interval Computations", number = "4", pages = "46--63", year = "1994", } @Article{Davidenkoff92, author = "A. Davidenkoff", title = "{ACRITH-XSC}: A programming language for scientific/engineering computation", journal = "Interval Computations", number = "2", pages = "72--82", year = "1992", } @Article{Demchenko92, author = "A. I. Demchenko and B. V. Peltsverger and O. V. Khavronin", title = "Syntesis of transport networks structures under conditions of uncertain initial information", journal = "Interval Computations", number = "3", pages = "46--49", year = "1992", } @Article{Dimitrova94, author = "N. S. Dimitrova and S. M. Markov", title = "On Validated {N}ewton Type Method for Nonlinear Equations", journal = "Interval Computations", number = "2", pages = "27--51", year = "1994", } @Article{Diverio96, author = "T. A. Diverio and U. A. Fernandes and D. M. Claudio", title = "Errors in vector processing and the library libavi.a", journal = "Reliable Computing", number = "2", volume = "2", pages = "103--110", year = "1996", } @Article{Dobner96, author = "H.-J. Dobner", title = "Bounds of high quality for first kind {V}olterra integral equations", journal = "Reliable Computing", number = "1", volume = "2", pages = "35--46", year = "1996", } @Article{Dobronets91, author = "B. S. Dobronets and V. I. Senashov", title = "On interval extension of some classes of functions", journal = "Interval Computations", number = "1", pages = "54--58", year = "1991", } @Article{Dobronets92, author = "B. S. Dobronets", title = "On some two-sided methods for solving systems of ordinary differential equations", journal = "Interval Computations", number = "1", pages = "6--21", year = "1992", } @Article{Dobronets92a, author = "B. S. Dobronets", title = "Interval methods based on a posteriori estimates", journal = "Interval Computations", number = "3", pages = "50--55", year = "1992", } @Article{Dobronets95, author = "B. S. Dobronets", title = "Numerical methods using defects", journal = "Reliable Computing", number = "4", volume = "1", pages = "383--392", year = "1995", } @Article{Dugarova92, author = "I. V. Dugarova", title = "An algorithm of interval matrix asymptotic stability testing", journal = "Interval Computations", number = "3", pages = "56--62", year = "1992", } @Article{Ely93, author = "J. S. Ely", title = "The {VPI} Software Package for Variable Precision Interval Arithmetic", journal = "Interval Computations", number = "2", pages = "135--154", year = "1993", } @Article{Eriksson95, author = "J. Eriksson and P. Lindstrom", title = "A parallel interval method implementation for global optimization using dynamic load balancing", journal = "Reliable Computing", number = "1", volume = "1", pages = "77--92", year = "1995", } @Article{Ermakov92, author = "O. B. Ermakov", title = "Two-sided method for solving system of ordinary differential equations with automatic determination of guaranteed estimates", journal = "Interval Computations", number = "3", pages = "63--69", year = "1992", } @Article{Ermakov94, author = "O. B. Ermakov", title = "Solving Systems of Ordinary Differential Equations Using {A}dams' Interpolation Method with Guaranteed Accuracy", journal = "Interval Computations", number = "1", pages = "90--95", year = "1994", } @Article{Evtushenko92, author = "T. V. Evtushenko", title = "Optimization problems for static plants under uncertainty conditions", journal = "Interval Computations", number = "3", pages = "70--74", year = "1992", } @Article{Filippov92, author = "A. F. Filippov", title = "Ellipsoidal estimates for a solution of a system of differential equations", journal = "Interval Computations", number = "2", pages = "6--17", year = "1992", } @Article{Filippov92a, author = "A. F. Filippov", title = "Ellipsoidal error estimates for {A}dams method", journal = "Interval Computations", number = "3", pages = "75--79", year = "1992", } @Article{Friesen95, author = "B. H. Friesen and V. Kreinovich", title = "Ockham's razor in interval identification", journal = "Reliable Computing", number = "3", volume = "1", pages = "225--238", year = "1995", } @Article{Garloff93, author = "J. Garloff", title = "The {B}ernstein Algorithm", journal = "Interval Computations", number = "2", pages = "154--168", year = "1993", } @Article{Glazunov92, author = "N. M. Glazunov", title = "On interval extensions of computer algebra systems", journal = "Interval Computations", number = "3", pages = "80--87", year = "1992", } @Article{Gudenberg92, author = "J. Wolff von Gudenberg", title = "Programming language support for scientific computation", journal = "Interval Computations", number = "4", pages = "116--126", year = "1992", } @Article{Gudenberg95, author = "J. Wolff von Gudenberg", title = "Parallel accurate linear algebra subroutines", journal = "Reliable Computing", number = "2", volume = "1", pages = "189--200", year = "1995", } @Article{Gudenberg95a, author = "J. Wolff von Gudenberg", title = "Design of a parallel linear algebra library for verified computation", journal = "Reliable Computing", number = "4", volume = "1", pages = "411--420", year = "1995", } @Article{Hager93, author = "G. D. Hager", title = "Solving Large Systems of Nonlinear Constraints with Application to Data Modeling", journal = "Interval Computations", number = "2", pages = "169--200", year = "1993", } @Article{Hammer91, author = "R. Hammer and M. Neaga and D. Ratz and D. Shiryaev", title = "{PASCAL-XSC}: A new language for scientific computing", journal = "Interval Computations", number = "2", pages = "47--81", year = "1991", } @Article{Hansen93, author = "E. R. Hansen", title = "Computing Zeros of Functions Using Generalized Interval Arithmetic", journal = "Interval Computations", number = "3", pages = "3--28", year = "1993", } @Article{Henrisken92, author = "T. Henriksen and K. Madsen", title = "Parallel algorithms for global optimization", journal = "Interval Computations", number = "3", pages = "88--95", year = "1992", } @Article{Herlocker95, author = "J. Herlocker and J. Ely", title = "An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane", journal = "Reliable Computing", number = "3", volume = "1", pages = "239--250", year = "1995", } @Article{Herzberger91, author = "J. Herzberger and D. Bethke", title = "On two algorithms for bounding the inverses of an interval matrix", journal = "Interval Computations", number = "1", pages = "44--53", year = "1991", } @Article{Heuveline96, author = "V. Heuveline and M. Sadkane", title = "Chebyshev acceleration techniques for large complex non {H}ermitian eigenvalue problems", journal = "Reliable Computing", number = "2", volume = "2", pages = "111--118", year = "1996", } @Article{Hu93, author = "C. Hu and R. B. Kearfott and A. Awad", title = "On Bounding the Range of Some Elementary Functions in {FORTRAN--77}", journal = "Interval Computations", number = "3", pages = "29--40", year = "1993", } @Article{Hu95, author = "C. Hu and A. Frolov and R. B. Kearfott and Q. Yang", title = "A general iterative sparse linear solver and its parallelization for interval {N}ewton methods", journal = "Reliable Computing", number = "3", volume = "1", pages = "251--264", year = "1995", } @Article{Hu95a, author = "C. Hu and J. Sheldon and R. B. Kearfott and Q. Yang", title = "Optimizing {INTBIS} on the {CRAY} {Y}-{MP}", journal = "Reliable Computing", number = "3", volume = "1", pages = "265--274", year = "1995", } @Article{Iwaarden93, author = "R. Van Iwaarden", title = "Automatic Differentiation Applied to Unconstrained Nonlinear Optimization with Result Verification", journal = "Interval Computations", number = "3", pages = "41--60", year = "1993", } @Article{Jager95, author = "C. Jager and D. Ratz", title = "A combined method for enclosing all solutions of nonlinear systems of polynomial equations", journal = "Reliable Computing", number = "1", volume = "1", pages = "41--64", year = "1995", } @Article{Jaulin93, author = "L. Jaulin and E. Walter", title = "Guaranteed Nonlinear Parameter Estimation via Interval Computations", journal = "Interval Computations", number = "3", pages = "61--75", year = "1993", } @Article{Kearfott91, author = "R. B. Kearfott and Chenyi Hu and M. Novoa III", title = "A review of preconditioners for the interval {G}auss-{S}eidel method", journal = "Interval Computations", number = "1", pages = "59--85", year = "1991", } @Article{Kearfott92, author = "R. B. Kearfott and M. Dawande and K. Du and C. Hu", title = "{INTLIB}: A portable {F}ortran-77 elementary function library", journal = "Interval Computations", number = "3", pages = "96--105", year = "1992", } @Article{Kearfott93, author = "R. B. Kearfott and Xiaofa Shi", title = "A preconditioner selection heuristic for efficient iteration with decomposition of arithmetic expressions for nonlinear algebraic aystems", journal = "Interval Computations", number = "1", pages = "15--33", year = "1993", } @Article{Keiper93, author = "J. B. Keiper", title = "Interval Arithmetic in {M}athematica", journal = "Interval Computations", number = "3", pages = "76--87", year = "1993", } @Article{Khlebalin92, author = "N. A. Khlebalin", title = "Interval automatic systems --- theory, computer-aided design and application", journal = "Interval Computations", number = "3", pages = "106--115", year = "1992", } @Article{Kohout93, author = "L. J. Kohout and I. Stabile", title = "Interval-Valued Inference in Medical Knowledge-Based System {CLINAID}", journal = "Interval Computations", number = "3", pages = "88--115", year = "1993", } @Article{Ladislav95, author = "L. J. Kohout and I. Stabile and H. Kalantar and M. F. San-Andres and J. Anderson", title = "Parallel interval-based reasoning in medical knowledge-based system {CLINAID}", journal = "Reliable Computing", number = "2", volume = "1", pages = "109--140", year = "1995", } @Article{Korlyukov92, author = "A. V. Korlyukov", title = "A new application of interval mathematics", journal = "Interval Computations", number = "3", pages = "116--121", year = "1992", } @Article{Korn93, author = "C. F. Korn and Ch. Ullrich", title = "Verified Solution of Linear Systems Based on Common Software Libraries", journal = "Interval Computations", number = "3", pages = "116--132", year = "1993", } @Article{Kozina94, author = "G. L. Kozina and V. A. Perepelitsa", title = "Interval Spanning Trees Problem: Solvability and Computational Complexity", journal = "Interval Computations", number = "1", pages = "42--50", year = "1994", } @Article{Kreinovich91, author = "V. Kreinovich and A. Bernat and E. Villa and Y. Mariscal", title = "Parallel Computers Estimate errors caused by imprecise data", journal = "Interval Computations", number = "2", pages = "31--46", year = "1991", } @Article{Kreinovich92, author = "V. Kreinovich and A. Bernat and O. Kosheleva and A. Finkelstein", title = "Interval estimates for closure-phase and closure-amplitude in radio astronomy", journal = "Interval Computations", number = "2", pages = "51--71", year = "1992", } @Article{Kreinovich93, author = "V. Kreinovich and A. V. Lakeyev and S. I. Noskov", title = "Optimal solution of interval linear systems is intractable ({NP}-hard)", journal = "Interval Computations", number = "1", pages = "6--14", year = "1993", } @Article{Kreinovich94, author = "V. Kreinovich and T. Swenson and A. Elentukh", title = "Interval Approach to Testing Software", journal = "Interval Computations", number = "2", pages = "90--109", year = "1994", } @Article{Kreinovich94a, author = "V. Kreinovich and A. Bernat", title = "Parallel Algorithms for Interval Computations: An Introduction", journal = "Interval Computations", number = "3", pages = "6--62", year = "1994", } @Article{Kreinovich95, author = "V. Kreinovich", title = "Why intervals? {A} simple limit theorem that is similar to limit theorems from statistics", journal = "Reliable Computing", number = "1", volume = "1", pages = "33--40", year = "1995", } @Article{Kreinovich95a, author = "V. Kreinovich and H. T. Nguyen", title = "Interval sessions at {NAFIPS/IFIS/NASA'94}", journal = "Reliable Computing", number = "1", volume = "1", pages = "93--98", year = "1995", } @Article{Kreinovich95b, author = "V. Kreinovich and D. Nemir and E. Gutierrez", title = "Applications of interval computations to earthquake-resistant engineering: {H}ow to compute derivatives of interval functions fast", journal = "Reliable Computing", number = "2", volume = "1", pages = "141--172", year = "1995", } @Article{Kreinovich96, author = "V. Kreinovich", title = "Maximum entropy and interval computations ({S}eptember notes on summer impressions)", journal = "Reliable Computing", number = "1", volume = "2", pages = "63--80", year = "1996", } @Article{Kreinovich96d, author = "V. Kreinovich and V. M. Nesterov and N. A. Zheludeva", title = "Interval methods that are guaranteed to underestimate (and the resulting new justification of {K}aucher arithmetic)", journal = "Reliable Computing", number = "2", volume = "2", pages = "119--124", year = "1996", } @Article{Krishchuk92, author = "V. N. Krishchuk and N. M. Vasilega and G. L. Kozina", title = "Interval operations and functions library for {FORTRAN} 77 programming system and its practice using", journal = "Interval Computations", number = "4", pages = "2--8", year = "1992", } @Article{Kristinsdottir93, author = "B. P. Kristinsdottir and Z. B. Zabinsky and T. Csendes and M. E. Tuttle", title = "Methodologies for Tolerance Intervals", journal = "Interval Computations", number = "3", pages = "133--147", year = "1993", } @Article{Krymsky92, author = "V. G. Krymsky", title = "Algorithmic aims of reliability provision for large-scale dynamic systems with interval parameters", journal = "Interval Computations", number = "4", pages = "9--13", year = "1992", } @Article{Kupriyanova95, author = "L. Kupriyanova", title = "Inner estimation of the united solution set of interval linear algebraic system", journal = "Reliable Computing", number = "1", volume = "1", pages = "15--32", year = "1995", } @Article{Lakeyev96, author = "A. V. Lakeyev", title = "On the computational complexity of the solution of linear systems with moduli", journal = "Reliable Computing", number = "2", volume = "2", pages = "125--132", year = "1996", } @Article{Leclerc93, author = "A. Leclerc", title = "Parallel Interval Global Optimization and Its Implementation in {C}++", journal = "Interval Computations", number = "3", pages = "148--163", year = "1993", } @Article{Litvinov92, author = "G. L. Litvinov", title = "Error auto-correction in rational approximation", journal = "Interval Computations", number = "4", pages = "14--18", year = "1992", } @Article{Luther94, author = "W. J. Luther and W. Otten", title = "Verified Inclusion for Eigenvalues of {H}ill's Equation", journal = "Interval Computations", number = "1", pages = "28--41", year = "1994", } @Article{Luther94, author = "W. Luther and W. Otten", title = "Computation of Standard Interval Functions in Multiple-Precision Interval Arithmetic", journal = "Interval Computations", number = "4", pages = "78--99", year = "1994", } @Article{Lyager94, author = "E. Lyager", title = "Finding Local Extremal Points by Using Parallel Interval Methods", journal = "Interval Computations", number = "3", pages = "63--80", year = "1994", } @Article{Lynch96, author = "T. Lynch and M. J. Schulte", title = "Software for high radix on-line arithmetic", journal = "Reliable Computing", number = "2", volume = "2", pages = "133--138", year = "1996", } @Article{Madsen94, author = "K. Madsen and O. Toft", title = "A Parallel Method for Linear Interval Equations", journal = "Interval Computations", number = "3", pages = "81--105", year = "1994", } @Article{Markov92, author = "S. M. Markov", title = "On the presentation of ranges of monotone functions using interval arithmetic", journal = "Interval Computations", number = "4", pages = "19--31", year = "1992", } @Article{Markov93, author = "S. M. Markov", title = "Some Interpolation Problems Involving Interval Data", journal = "Interval Computations", number = "3", pages = "164--182", year = "1993", } @Article{McLean95, author = "T. J. McLean and D. H. Xu", title = "Study on sampling techniques with {CMM}s", journal = "Reliable Computing", number = "3", volume = "1", pages = "275--284", year = "1995", } @Article{Menshikov92, author = "G. G. Menshikov", title = "The teaching experience of interval computations at the Department of applied mathematics and control processes of {S}t. {P}etersburg University", journal = "Interval Computations", number = "2", pages = "83--85", year = "1992", } @Article{Menshikov92a, author = "G. G. Menshikov", title = "Interval co-integration of differential equations connected by a substitution of the variable", journal = "Interval Computations", number = "4", pages = "32--36", year = "1992", } @Article{Menshikov94, author = "G. G. Menshikov", title = "On Different Definitions of Interval Extension: Problems of Teaching", journal = "Interval Computations", number = "1", pages = "96--98", year = "1994", } @Article{Misane95, author = "D. Misane and V. Kreinovich", title = "A new characterization of the set of all intervals, based on the necessity to check consistency easily", journal = "Reliable Computing", number = "3", volume = "1", pages = "285--298", year = "1995", } @Article{Musaev91a, author = "E. A. Musaev", title = "Narrowing of intervals by partial derivatives", journal = "Interval Computations", number = "1", pages = "86--91", year = "1991", } @Article{Musaev92, author = "E. A. Musaev", title = "Wave computations. {A} technique for optimal quasi-concurrent self-validation", journal = "Interval Computations", number = "1", pages = "53--60", year = "1992", } @Article{Musaev92a, author = "E. A. Musaev", title = "An approach to reliable computations with the minimal representation", journal = "Interval Computations", number = "4", pages = "37--41", year = "1992", } @Article{Nakamura93, author = "M. Nakamura and R. Mines and V. Kreinovich", title = "Guaranteed Intervals for {K}olmogorov's Theorem (and Their Possible Relation to Neural Networks)", journal = "Interval Computations", number = "3", pages = "183--199", year = "1993", } @Article{Nakao94, author = "M. T. Nakao", title = "Numerical Verifications of Solutions for Nonlinear Hyperbolic Equations", journal = "Interval Computations", number = "4", pages = "64--77", year = "1994", } @Article{Narinyani92, author = "A. S. Narinyani", title = "Ne-factors and natural pragmatics: what do the intervals represent", journal = "Interval Computations", number = "4", pages = "42--47", year = "1992", } @Article{Nesterov92, author = "V. M. Nesterov", title = "Estimating a range of values of functions using extended interval arithmetics", journal = "Interval Computations", number = "4", pages = "48--53", year = "1992", } @Article{Nesterov93, author = "V. M. Nesterov", title = "How To Use Monotonicity-Type Information To Get Better Estimates of the Range of Real-Valued Functions", journal = "Interval Computations", number = "4", pages = "3--12", year = "1993", } @Article{Nguyen95, author = "H. T. Nguyen and V. Kreinovich and B. Lea and D. Tolber", title = "Interpolation that leads to the narrowest intervals and its application to expert systems and intelligent control", journal = "Reliable Computing", number = "3", volume = "1", pages = "299--316", year = "1995", } @Article{Noubir96, author = "G. Noubir and H. J. Nussbaumer", title = "Self-correcting polynomial programs", journal = "Reliable Computing", number = "2", volume = "2", pages = "139--146", year = "1996", } @Article{Oberman96, author = "S. F. Oberman and M. J. Flynn", title = "Reducing division latency with reciprocal caches", journal = "Reliable Computing", number = "2", volume = "2", pages = "147--154", year = "1996", } @Article{Orlov92, author = "A. I. Orlov", title = "Interval statistics", journal = "Interval Computations", number = "1", pages = "44--52", year = "1992", } @Article{Ostylovsky95, author = "A. N. Ostylovsky", title = "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", journal = "Reliable Computing", number = "4", volume = "1", pages = "393--402", year = "1995", } @Article{Paluh91, author = "B. V. Paluh and B. V. Vasilyov and V. L. Perov", title = "Application of interval mathematics for solving technical diagnostics tasks of non-stop manufacture in chemical industry", journal = "Interval Computations", number = "1", pages = "99--104", year = "1991", } @Article{Pankov92, author = "P. S. Pankov", title = "Proof of finite-dimensional inequalities by means of interval analysis", journal = "Interval Computations", number = "2", pages = "30--38", year = "1992", } @Article{Pankov92a, author = "P. S. Pankov and B. D. Bayachorova", title = "Using interval methods in cluster analysis and verified representation of connected sets", journal = "Interval Computations", number = "4", pages = "54--58", year = "1992", } @Article{Pankova92, author = "G. D. Pankova", title = "Programming support and algorithmic language for validating computations on {ES} ({IBM} 360/370) series computer", journal = "Interval Computations", number = "1", pages = "86--95", year = "1992", } @Article{Pesonen96, author = "J. Pesonen and E. Hyvonen", title = "Interval approach challenges {M}onte {C}arlo simulation", journal = "Reliable Computing", number = "2", volume = "2", pages = "155--160", year = "1996", } @Article{Perepelitsa93, author = "V. A. Perepelitsa and G. L. Kozina", title = "Interval discrete models and multiobjectivity complexity estimates", journal = "Interval Computations", number = "1", pages = "51--59", year = "1993", } @Article{Petvokic93, author = "L. D. Petkovic and M. Trajkovic", title = "On some optimal inclusion approximations by discs", journal = "Interval Computations", number = "1", pages = "34--50", year = "1993", } @Article{Petkovic95, author = "L. D. Petkovic and M. Trajkovic", title = "Verification methods for inclusion disks", journal = "Reliable Computing", number = "4", volume = "1", pages = "403--410", year = "1995", } @Article{Plum94, author = "M. Plum", title = "Enclosures for Solutions of Parameter-Dependent Nonlinear Elliptic Boundary Value Problems: Theory and Implementation on a Parallel Computer", journal = "Interval Computations", number = "3", pages = "106--121", year = "1994", } @Article{Podchukayev94, author = "V. A. Podchukayev and I. M. Svetlov", title = "An Analytical Method of Constructing {H}urwitz Interval Polynomials", journal = "Interval Computations", number = "2", pages = "52--67", year = "1994", } @Article{Popova94, author = "E. D. Popova", title = "Extended Interval Arithmetic in {IEEE} Floating-Point Environment", journal = "Interval Computations", number = "4", pages = "100--129", year = "1994", } @Article{Popova96, author = "E. D. Popova", title = "Interval operations involving {NaNs}", journal = "Reliable Computing", number = "2", volume = "2", pages = "161--166", year = "1996", } @Article{Ratschek95, author = "H. Ratschek and J. G. Rokne", title = "Formulas for the width of interval products", journal = "Reliable Computing", number = "1", volume = "1", pages = "9--14", year = "1995", } @Article{Rohn93, author = "J. Rohn", title = "Cheap and Tight Bounds: The Recent Result by {E}. {H}ansen Can Be Made More Efficient", journal = "Interval Computations", number = "4", pages = "13--21", year = "1993", } @Article{Rohn96, author = "J. Rohn", title = "Enclosing solutions of overdetermined systems of linear interval equations", journal = "Reliable Computing", number = "2", volume = "2", pages = "167--172", year = "1996", } @Article{Rump92, author = "S. M. Rump", title = "Inclusion of the solution for large linear systems with {M}-matrix", journal = "Interval Computations", number = "1", pages = "22--43", year = "1992", } @Article{Schaefer93, author = "M. J. Schaefer", title = "Precise Zeros of Analytic Functions Using Interval Arithmetic", journal = "Interval Computations", number = "4", pages = "22--39", year = "1993", } @Article{Schaefer95, author = "M. J. Schaefer and T. Bubeck", title = "A parallel complex zero finder", journal = "Reliable Computing", number = "3", volume = "1", pages = "317--324", year = "1995", } @Article{Schnepper93, author = "C. A. Schnepper and M. A. Stadtherr", title = "Application of a Parallel Interval {N}ewton/Generalized Bisection Algorithm to Equation-Based Chemical Process Flowsheeting", journal = "Interval Computations", number = "4", pages = "40--64", year = "1993", } @Article{Schulte93, author = "M. J. Schulte and E. E. Swartzlander, Jr.", title = "Parallel Hardware Designs for Correctly Rounded Elementary Functions", journal = "Interval Computations", number = "4", pages = "65--88", year = "1993", } @Article{Schulte95, author = "M. J. Schulte and E. E. Swartzlander, Jr.", title = "A software interface and hardware design for variable-precision interval arithmetic", journal = "Reliable Computing", number = "3", volume = "1", pages = "325--342", year = "1995", } @Article{Schulte96, author = "M. J. Schulte and E. E. Swartzlander, Jr.", title = "Variable-precision, interval arithmetic coprocessors", journal = "Reliable Computing", number = "1", volume = "2", pages = "47--62", year = "1996", } @Article{Schwandt94, author = "H. Schwandt", title = "Suboptimal Enclosures for the Interval {B}uneman Algorithm for Arbitrary Block Dimension", journal = "Interval Computations", number = "1", pages = "51--90", year = "1994", } @Article{Senio92, author = "P. S. Senio and P. S. Vengersky", title = "Solving systems of special form nonlinear equations by means of some modifications of {R}unge type interval iterative method", journal = "Interval Computations", number = "4", pages = "59--65", year = "1992", } @Article{Shary91a, author = "S. P. Shary", title = "On compatibility of linear tolerance problem", journal = "Interval Computations", number = "1", pages = "92--98", year = "1991", } @Article{Shary91b, author = "S. P. Shary", title = "Optimal solution of the interval linear algebraic systems", journal = "Interval Computations", number = "2", pages = "7--30", year = "1991", } @Article{Shary92, author = "S. P. Shary", title = "A new class of algorithms for optimal solution of interval linear systems", journal = "Interval Computations", number = "2", pages = "18--29", year = "1992", } @Article{Shary92, author = "S. P. Shary", title = "On controlled solution set of interval algebraic systems", journal = "Interval Computations", number = "4", pages = "66--75", year = "1992", } @Article{Shary94, author = "S. P. Shary", title = "Solving the Tolerance Problem for Interval Linear Systems", journal = "Interval Computations", number = "2", pages = "6--26", year = "1994", } @Article{Shary96, author = "S. P. Shary", title = "Algebraic approach to the interval linear static identification, tolerance, and control problems, or One more application of {K}aucher arithmetic", journal = "Reliable Computing", number = "1", volume = "2", pages = "3--34", year = "1996", } @Article{Shiriaev92, author = "D. Shiriaev", title = "{PASCAL--XSC}. {A} portable programming system for scientific computations", journal = "Interval Computations", number = "4", pages = "76--82", year = "1992", } @Article{Simcik93, author = "L. Simcik and P. Linz", title = "Boundary-Based Interval {N}ewton's Method", journal = "Interval Computations", number = "4", pages = "89--99", year = "1993", } @Article{Simoff92, author = "S. J. Simoff", title = "Interval approximate reasoning for expert systems", journal = "Interval Computations", number = "4", pages = "83--87", year = "1992", } @Article{Sirisaengtaksin93, author = "O. Sirisaengtaksin and V. Kreinovich", title = "Neural Networks That Are Not Sensitive To The Imprecision of Hardware Neurons", journal = "Interval Computations", number = "4", pages = "100--113", year = "1993", } @Article{Skybytsky92, author = "N. V. Skybytsky and T. Yuping", title = "Control of the linear dynamic plant with intervally given parameters from the guarantee condition of the required accuracy of the solution", journal = "Interval Computations", number = "4", pages = "88--93", year = "1992", } @Article{Smagina92, author = "E. M. Smagina", title = "General problem of the asymptotic steady-output tracking for plant with interval parameters", journal = "Interval Computations", number = "4", pages = "94--99", year = "1992", } @Article{Storck93, author = "U. Storck", title = "Verified Calculation of the Nodes and Weights for {G}aussian Quadrature Formulas", journal = "Interval Computations", number = "4", pages = "114--124", year = "1993", } @Article{Sugihara96, author = "M. Sugihara and S. Fujino", title = "Numerical solutions of {B}urgers' equation with a large {R}eynolds number", journal = "Reliable Computing", number = "2", volume = "2", pages = "173--180", year = "1996", } @Article{Szulc96, author = "T. Szulc", title = "Rank of convex combinations of matrices", journal = "Reliable Computing", number = "2", volume = "2", pages = "181--186", year = "1996", } @Article{Ten92, author = "I. G. Ten", title = "Synthesis of optimal control under interval uncertainty in models", journal = "Interval Computations", number = "4", pages = "100--106", year = "1992", } @Article{Traylor95, author = "B. Traylor and V. Kreinovich", title = "A bright side of {NP}-hardness of interval computations: interval heuristics applied to {NP}-problems", journal = "Reliable Computing", number = "3", volume = "1", pages = "--", year = "1995", } @Article{Turksen93, author = "I. B. Turksen", title = "Interval Valued Fuzzy Sets and Fuzzy Connectives", journal = "Interval Computations", number = "4", pages = "125--142", year = "1993", } @Article{Veliov93, author = "V. M. Veliov", title = "Computation of Integrals of Uncertain Vector Functions", journal = "Interval Computations", number = "4", pages = "143--153", year = "1993", } @Article{Villa93, author = "E. Villa and A. Bernat and V. Kreinovich", title = "Estimating Errors of Indirect Measurement on Realistic Parallel Machines: Routings on 2-{D} and 3-{D} Meshes That are Nearly Optimal", journal = "Interval Computations", number = "4", pages = "154--175", year = "1993", } @Article{Villaverde93, author = "K. Villaverde and V. Kreinovich", title = "A Linear-Time Algorithm That Locates Local Extrema of a Function of One Variable From Interval Measurement Results", journal = "Interval Computations", number = "4", pages = "176--194", year = "1993", } @Article{Voschchinin92, author = "A. P. Voshchinin", title = "Some questions of application of interval mathematics in parameter estimation and decision making", journal = "Interval Computations", number = "4", pages = "107--115", year = "1992", } @Article{Vrahatis96, author = "M. N. Vrahatis and E. C. Triantafyllow", title = "Locating, characterizing and computing the stationary points of a function", journal = "Reliable Computing", number = "2", volume = "2", pages = "187--194", year = "1996", } @Article{Ullrich95, author = "C. P. Ullrich and R. Reith", title = "A reliable linear algebra library for transputer networks", journal = "Reliable Computing", number = "2", volume = "1", pages = "173--188", year = "1995", } @Article{Wu95, author = "Q.-H. Wu and M. Mansour", title = "Computation of the stability radius of a {S}chur polynomial: an orthogonal projection approach", journal = "Reliable Computing", number = "4", volume = "1", pages = "421--430", year = "1995", } @Article{Yakovlev91, author = "A. G. Yakovlev", title = "Interval computations - subject of research and useful tool", journal = "Interval Computations", number = "1", pages = "27--43", year = "1991", } @Article{Yakovlev92, author = "A. G. Yakovlev", title = "Classification approach to programming of localizational (interval) computations", journal = "Interval Computations", number = "1", pages = "61--84", year = "1992", } @Article{Yakovlev93, author = "A. G. Yakovlev", title = "Multiaspectness and Localization", journal = "Interval Computations", number = "4", pages = "195--209", year = "1993", } @Article{Zakharov91, author = "A. V. Zakharov", title = "Actual problems of applied mathematics. All-Union conference. Saratov, May 20-22, 1991. A brief report", journal = "Interval Computations", number = "2", pages = "87--90", year = "1991", } @Article{Zyuzin91, author = "V. S. Zyuzin", title = "Review of the book: {H}. {B}auch, {K}.-{U}. {J}ahn, {D}. {O}elschlaegel, {H}. {S}uesse, and {V}. {W}iebigke `{I}nterval Mathematics (Theory and Application)'", journal = "Interval Computations", number = "1", pages = "105--107", notes = "{D}. {O}elschlaegel, {H}. {S}uesse, {V}. {W}iebigke {I}ntervallmathematik ({T}eorie und {A}nwendungen). - {L}eipzig, {BSB B. G. T}eubner {V}erlagsgesellschaft, 1987, 260 S. ({M}athematisch-{N}aturwissenschaftliche {B}ibliothek, {B}and 72))", year = "1991", } @Article{Zyuzin92, author = "V. S. Zyuzin", title = "On metrization of interval sets $I(R),\ I(R^n)$", journal = "Interval Computations", number = "2", pages = "39--50", year = "1992", } @Article{Zyuzin92, author = "V. S. Zyuzin", title = "The extension of the {F}rechet derivative concept in the interval-segment analysis", journal = "Interval Computations", number = "4", pages = "127--132", year = "1992", }