% BibTeX References
%
% Created by the maintainers of the Interval Computations
% WWW page (http://cs.utep.edu/interval-comp/).
% finished up to Vol. 13, No. 6, 2007

@String{Send_Questions_Or_Comments_To = "vladik@utep.edu"}

% Bibliographical entries


@Article{Achenie03,
  author =       "L. E. K. Achenie and M. Sinha",
  title =        "Interval Global Optimization in Solvent Design",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "9",
  pages =        "317--338",
  year =         "2003",
}

@Article{Acioly97,
  author =       "B. Acioly and B. Bedregal",
  title =        "A Quasi-Metric Topology Compatible with
                  Inclusion Monotonicity on Interval Space",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "305--313",
  year =         "1997",
}

@Article{Akhmerov05,
  author =       "R. R. Akhmerov",
  title =        "Interval-Affine Gaussian Algorithm for
                  Constrained Systems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "323--341",
  year =         "2005",
}

@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{Alefeld01,
  author =       "G. Alefeld and V. Kreinovich and G. Mayer and M. Huth",
  title =        "A Comment on the Shape of the Solution Set for
                  Systems of Interval Linear Equations with
                  Dependent Coefficients",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "7",
  pages =        "275--277",
  year =         "2001",
}

@Article{Alefeld04,
  author =       "G. Alefeld and Z. Wang and Z. Shen",
  title =        "Enclosing Solutions of Linear Complementarity
                  Problems for {H}-matrices",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "10",
  pages =        "423--435",
  year =         "2004",
}

@Article{Alefeld05,
  author =       "G. Alefeld and G. Mayer",
  title =        "Enclosing Solutions of Singular Interval Systems
                  Iteratively",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "11",
  pages =        "165--190",
  year =         "2005",
}

@Article{Alliez00,
  author =       "P. Alliez and O. Devillers and J. Snoeyink",
  title =        "Removing Degeneracies by Perturbing the Problem
                  or Perturbing the World",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "61--79",
  year =         "2000",
}

@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{Anguelov98,
  author =       "Roumen Anguelov and Svetoslav Markov",
  title =        "Wrapping Effect and Wrapping Function",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "311--330",
  year =         "1998",
}

@Article{Anguelov99,
  author =       "R. Anguelov",
  title =        "Wrapping Function of the Initial Value Problem
                  for {ODE}: Applications",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "143--164",
  year =         "1999",
}

@Article{Anguelov06,
  author =       "R. Anguelov and S. Markov and B. Sendov",
  title =        "The Set of Hausdorff Continuous Functions - The
                  Largest Linear Space of Interval Functions",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "337--363",
  year =         "2006",
}

@Article{Anile04,
  author =       "A. M.Anile and S. Spinella",
  title =        "Modeling Uncertain Sparse Data with Fuzzy {B}-splines",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "10",
  pages =        "335--355",
  year =         "2004",
}

@Article{Armengol01,
  author =       "J. Armengol and J. Vehi and
                  L. Trave-Massuyes and M. A. Sainz ",
  title =        "Application of Modal Intervals to the
                  Generation of Error-Bounded Envelopes",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "7",
  pages =        "171--185",
  year =         "2001",
}

@Article{Arndt05,
  author =       "H.-R. Arndt and G. Mayer",
  title =        "On the Solutions of the Interval System
                  [x]=[A][x]+[b]",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "87--103",
  year =         "2005",
}

@Article{Arndt07,
  author =       "H.-R. Arndt",
  title =        "On Interval Systems [x]=[A][x]+[b] and the
                  Powers of Interval Matrices in Complex
                  Interval Arithmetics",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "13",
  pages =        "245--259",
  year =         "2007",
}

@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{Backeljauw05,
  author =       "F. Backeljauw and A. Cuyt",
  title =        "A Constructive Criticism of the C/C++ Proposal
                  for Complex Arithmetic",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "11",
  pages =        "313--319",
  year =         "2005",
}

@Article{Baker98,
  author =       "M. R. Baker and R. B. Patil",
  title =        "Universal Approximation Theorem for
                  Interval Neural Networks",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "235--239",
  year =         "1998",
}

@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{Beaumont01,
  author =       "O. Beaumont and B. Philippe",
  title =        "Linear Interval Tolerance Problem and
                  Linear Programming Techniques",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "7",
  pages =        "433--447",
  year =         "2001",
}

@Article{Beckermann00,
  author =       "B. Beckermann and G. Labahn",
  title =        "Effective Computation of Rational Approximants
                  and Interpolants",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "6",
  pages =        "365--390",
  year =         "2000",
}

@Article{Beelitz06,
  author =       "T. Beelitz and B. Lang and C. H. Bischof",
  title =        "Efficient Task Scheduling in the Parallel
                  Result-Verifying Solution of Nonlinear Systems",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "12",
  pages =        "141--151",
  year =         "2006",
}

@Article{Beltran98,
  author =       "M. Beltran and G. Castillo and V. Kreinovich",
  title =        "Algorithms That Still Produce a Solution
                  (Maybe Not Optimal) Even When Interrupted:
                  {S}hary's Idea Justified",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "39--53",
  year =         "1998",
}

@Article{Benhamou97,
  author =       "F. Benhamou and L. Granvilliers",
  title =        "Automatic Generation of Numerical Redundancies
                  for Non-Linear Constraint Solving",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "335--344",
  year =         "1997",
}

@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{Berleant98,
  author =       "D. Berleant and H. Cheng",
  title =        "A Software Tool for Automatically Verified
                  Operations on Intervals and
                  Probability Distributions",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "71--82",
  year =         "1998",
}

@Article{Berleant98,
  author =       "D. Berleant and C. Goodman-Strauss",
  title =        "Bounding the Results of Arithmetic Operations
                  on Random Variables of Unknown Dependency
                  Using Intervals",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "147--165",
  year =         "1998",
}

@Article{Berleant02,
  author =       "D. Berleant",
  title =        "Reliable Computing: Special Issue on Dependable
                  Reasoning about Uncertainty",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "175--176",
  year =         "2002",
}

@Article{Berleant03,
  author =       "D. Berleant and L. Xie and J. Zhang",
  title =        "{Statool}: A Tool for Distribution Envelope
                 Determination ({DEnv}), an Interval-Based Algorithm for
                 Arithmetic on Random Variables",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "91--108",
  year =         "2003",
}

@Article{Berleant03,
  author =       "D. Berleant and M.-P. Cheong and C. Chu and
                  Y. Guan and A. Kamal and G. Sheble and
                  S. Ferson and J. F. Peters",
  title =        "Dependable Handling of Uncertainty",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "9",
  pages =        "407--418",
  year =         "2003",
}

@Article{Berleant04,
  author =       "D. Berleant and J. Zhang",
  title =        "Using {P}earson Correlation to Improve Envelopes
                  around the Distributions of Functions",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "10",
  pages =        "139--161",
  year =         "2004",
}

@Article{Berleant07,
  author =       "D. J. Berleant and O. Kosheleva and
                  V. Kreinovich and H. T. Nguyen",
  title =        "Unimodality, Independence Lead to NP-Hardness
                  of Interval Probability Problems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "13",
  pages =        "261--282",
  year =         "2007",
}

@Article{Berthelot97,
  author =       "D. Berthelot and M. Daumas",
  title =        "Computing on Sequences of Embedded Intervals",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "219--227",
  year =         "1997",
}

@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{Berz98,
  author =       "M. Berz and G. Hoffstaetter",
  title =        "Computation and Application of Taylor
                  Polynomials with Interval Remainder Bounds",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "83--97",
  year =         "1998",
}

@Article{Berz98,
  author =       "M. Berz and K. Makino",
  title =        "Verified Integration of {ODE}s and Flows
                  Using Differential Algebraic
                  Methods on High-Order {T}aylor Models",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "361--369",
  year =         "1998",
}

@Article{Berz99,
  author =       "M. Berz and K. Makino",
  title =        "New Methods for High-Dimensional Verified
                  Quadrature",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "13--22",
  year =         "1999",
}

@Article{Berz01,
  author =       "M. Berz and J. Hoefkens",
  title =        "Verified High-Order Inversion of Functional
                  Dependencies and Interval Newton Methods",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "7",
  pages =        "379--398",
  year =         "2001",
}

@Article{Birdie98,
  author =       "T. R. Birdie and K. S. Surana",
  title =        "The Use of Interval Analysis in
                  Hydrologic Systems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "269--281",
  year =         "1998",
}

@Article{Bliek97,
  author =       "C. Bliek",
  title =        "Fast Evaluation of Partial Derivatives
                  and Interval Slopes",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "259--268",
  year =         "1997",
}

@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{Bondia04,
  author =       "J. Bondia and J. Pico",
  title =        "Application of Functional Intervals to the
                  Response Evaluation of Linear Time-Invariant
                  Systems with Fuzzy Input",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "10",
  pages =        "369--387",
  year =         "2004",
}

@Article{Brito98,
  author =       "A. E. Brito and O. Kosheleva",
  title =        "Interval + Image = Wavelet:
                  For Image Processing under Interval Uncertainty,
                  Wavelets Are Optimal",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "291--301",
  year =         "1998",
}

@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{Candau06,
  author =       "Y. Candau and T. Raissi and N. Ramdani and L. Ibos",
  title =        "Complex Interval Arithmetic Using Polar Form",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "12",
  pages =        "1--20",
  year =         "2006",
}

@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{Caprani97,
  author =       "O. Caprani and K. Madsen, and O. Stauning",
  title =        "Existence Test for Asynchronous Interval Iteration",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "269--275",
  year =         "1997",
}

@Article{Caprani97,
  author =       "O. Caprani and L. Hvidegaard and
                  M. Mortensen and T. Schneider",
  title =        "Robust and Efficient Ray Intersection of
                  Implicit Surfaces",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "9--21",
  year =         "2000",
}

@Article{Casado00,
  author =       "L. G. Casado and I. F. Garcia and Y. D. Sergeyev",
  title =        "Interval Branch and Bound Algorithm for Finding
                  the First-Zero-Crossing-Point in One-Dimensional
                  Functions",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "179--191",
  year =         "2000",
}

@Article{Ceberio04,
  author =       "M. Ceberio and V. Kreinovich",
  title =        "Fast Multiplication of Interval Matrices
                  (Interval Version of {S}trassen's Algorithm)",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "10",
  pages =        "241--243",
  year =         "2004",
}

@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{Chabert07,
  author =       "G. Chabert and A. Goldsztejn",
  title =        "Extension of the Hansen-Bliek Method to
                  Right-Quantified Linear Systems",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "13",
  pages =        "325--349",
  year =         "2007",
}

@Article{Chabert07,
  author =       "G. Chabert and L. Jaulin",
  title =        "Computing the Pessimism of Inclusion Functions",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "13",
  pages =        "489--504",
  year =         "2007",
}

@Article{Chee97,
  author =       "L. S. Chee",
  title =        "Computing the Value of a Boolean Expression
                  with Interval Inputs is {NP}-Hard",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "3",
  pages =        "155--172",
  year =         "1997",
}

@Article{Chee02,
  author =       "C.-K. Chiu and J. H.-M. Lee",
  title =        "Efficient Interval Linear Equality Solving in
                  Constraint Logic Programming",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "139--174",
  year =         "2002",
}

@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{Collavizzal99,
  author =       "H. Collavizza and F. Delobel and M. Rueher",
  title =        "Comparing Partial Consistencies",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "5",
  pages =        "213--228",
  year =         "1999",
}

@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{Corlissl07,
  author =       "G. Corliss and C. Foley and R. B. Kearfott",
  title =        "Formulation for Reliable Analysis of Structural
                  Frames",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "13",
  pages =        "125--147",
  year =         "2007",
}

@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{Cooke99,
  author =       "G. E. Coxson",
  title =        "Computing Exact Bounds on Elements of an Inverse
                  Interval Matrix is {NP}-Hard",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "137--142",
  year =         "1999",
}

@Article{Csendes03,
  author =       "T. Csendes",
  title =        "Numerical Experiences with a New Generalized
                  Subinterval Selection Criterion for Interval Global
                  Optimization",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "109--125",
  year =         "2003",
}

@Article{Daumas06,
  author =       "E. Dantsin and V. Kreinovich and
                  A. Wolpert and G. Xiang",
  title =        "Population Variance under Interval Uncertainty:
                  A New Algorithm",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "273--280",
  year =         "2006",
}

@Article{Daumas99,
  author =       "Z. Danqing and L. Weiguo and S. Zuhe",
  title =        "Solving Underdetermined Systems with Interval
                  Methods",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "23--33",
  year =         "1999",
}

@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{Daumas94,
  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{Davis98,
  author =       "C. Davis",
  title =        "A New Application of Local Minima of
                  Interval Functions: Interval-Valued
                  Fuzzy Control",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "99--101",
  year =         "1998",
}

@Article{Delanoue07,
  author =       "N. Delanoue and L. Jaulin and B. Cottenceau",
  title =        "Guaranteeing the Homotopy Type of a Set Defined
                  by Non-Linear Inequalities",
  number =       "5",
  volume =       "13",
  pages =        "381--398",
  year =         "2007",
}

@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{Dennis98,
  author =       "D. Dennis and V. Kreinovich and S. M. Rump",
  title =        "Intervals and the Origins of Calculus",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "191--197",
  year =         "1998",
}

@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{Dimitrova99,
  author =       "N. S. Dimitrova and S. M. Markov",
  title =        "Verified Computation of Fast Decreasing
                  Polynomials",
  journal =      "Interval Computations",
  number =       "3",
  volume =       "5",
  pages =        "229--240",
  year =         "1999",
}

@Article{Dimuro00,
  author =       "G. P. Dimuro and A. C. da R. Costa and D. M. Claudio",
  title =        "A Coherence Space of Rational Intervals for a
                  Construction of {IR}",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "139--178",
  year =         "2000",
}

@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{Djanybekov06,
  author =       "B. S. Djanybekov",
  title =        "Interval Householder Method for Complex Linear
                  Systems",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "12",
  pages =        "35--43",
  year =         "2006",
}

@Article{Do01,
  author =       "D.-K. Do",
  title =        "Spigot Algorithm and Root Computing",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "7",
  pages =        "247--273",
  year =         "2001",
}

@Article{Do04,
  author =       "D.-K. Do",
  title =        "Spigot Algorithm and Reliable Computation of
                  Natural Logarithm",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "10",
  pages =        "489--500",
  year =         "2004",
}

@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{Dobner97,
  author =       "H.-J. Dobner and S. Ritter",
  title =        "Attacking a conjecture in mathematical physics
                  by combining methods of computational analysis
                  and scientific computing",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "287--295",
  year =         "1997",
}

@Article{Dobner01,
  author =       "H.-J. Dobner",
  title =        "On Kernel Inclusions",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "29--39",
  year =         "2001",
}

@Article{Dobner02,
  author =       "H.-J. Dobner",
  title =        "Kernel-Splitting Technique for Enclosing the
                  Solution of {F}redholm Equations of the First Kind",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "8",
  pages =        "469--479",
  year =         "2002",
}

@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{Dobronets97,
  author =       "B. S. Dobronets",
  title =        "Two-sided Multigrid Method
                  for Elliptic Boundary Value Problems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "297--303",
  year =         "1997",
}

@Article{Dolgov05,
  author =       "Y. G. Dolgov",
  title =        "Developing Interval Global Optimization Algorithms
                  on the Basis of Branch-and-Bound and Constraint
                  Propagation Methods",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "343--358",
  year =         "2005",
}

@Article{Doser98,
  author =       "D. I. Doser and K. D. Crain and M. R. Baker and
                  V. Kreinovich and M. C. Gerstenberger",
  title =        "Estimating Uncertainties for Geophysical
                  Tomography",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "241--268",
  year =         "1998",
}

@Article{Dubois04,
  author =       "D. Dubois and L. Foulloy and G. Mauris and H. Prade",
  title =        "Probability-Possibility Transformations,
                  Triangular Fuzzy Sets, and
                  Probabilistic Inequalities",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "10",
  pages =        "273--297",
  year =         "2004",
}

@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{Dyllong99,
  author =       "E. Dyllong and W. Luther and W. Otten",
  title =        "An Accurate Distance-Calculation Algorithm
                  for Convex Polyhedra",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "5",
  pages =        "241--253",
  year =         "1999",
}

@Article{Dyllong06,
  author =       "E. Dyllong and W. Luther and H. Traczinski",
  title =        "Modelling Geometric Objects and Tolerances
                  with Intervals: Data Exchange with ISO Standard
                  STEP",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "293--302",
  year =         "2006",
}

@Artilce{Edmonson00,
  author=        "W. W. Edmonson and W. H. Lee and J. M. M. Anderson",
  title =        "Interval Methods for Sinusoidal Parameter
                  Estimation: A Comparative Analysis",
  number =       "3",
  volume =       "6",
  pages =        "321--336",
  year =         "2000",
}

@Artilce{Eick96,
  author=        "C. Eick and K. Villaverde",
  title =        "Robust algorithms that locate local extrema of a function of one
                  variable from interval measurement results: A remark",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "213--218",
  year =         "1996",
}

@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{Ely00,
  author =       "J. S. Ely and A. P. Leclerc",
  title =        "Correct {D}elaunay Triangulation in the Presence
                  of Inexact Inputs and Arithmetic",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "23--38",
  year =         "2000",
}

@Article{Emden04,
  author =       "M. H. van Emden",
  title =        "On the Significance of Digits in Interval Notation",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "10",
  pages =        "45--58",
  year =         "2004",
}

@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{Ershov05,
  author =       "A. G. Ershov and T. P. Kashevarova",
  title =        "Interval Mathematical Library Based on Chebyshev
                  and Taylor Series Expansion",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "359--367",
  year =         "2005",
}

@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",
}

@Artilce{Fang03,
  author=        "Y. Fang",
  title =        "Optimal Bicentered Form",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "9",
  pages =        "291--302",
  year =         "2003",
}

@Artilce{Farouki02,
  author=        "R. T. Farouki and H. Pottmann",
  title =        "Exact {M}inkowski Products of N Complex Disks",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "8",
  pages =        "43--66",
  year =         "2002",
}

@Artilce{Faudot07,
  author=        "D. Faudot and D. Michelucci",
  title =        "A New Robust Algorithm to Trace Curves",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "13",
  pages =        "309--324",
  year =         "2007",
}

@Artilce{Ferregut96,
  author=        "C. Ferregut and S. Nazarian and K. Vennalaganti
                  and C.-C. Chang and Vladik Kreinovich",
  title =        "Fast error estimates for indirect measurements: applications to
                  pavement engineering",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "219--228",
  year =         "1996",
}

@Artilce{Ferson05,
  author=        "S. Ferson and L. Ginzburg and V. Kreinovich and
                  L. Longpre and M. Aviles",
  title =        "Exact Bounds on Finite Populations of Interval Data",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "11",
  pages =        "207--233",
  year =         "2005",
}

@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{Fournier00,
  author =       "J.-D. Fournier and M. Pindor",
  title =        "Rational Interpolation from Stochastic Data:
                  A New {F}roissart's Phenomenon",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "6",
  pages =        "391--409",
  year =         "2000",
}

@Article{Friesen95,
  author =       "B. H. Friesen and V. Kreinovich",
  title =        "{O}ckham's razor in interval identification",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "1",
  pages =        "225--238",
  year =         "1995",
}

@Article{Frommer99,
  author =       "A. Frommer and A. Weinberg",
  title =        "Verified Error Bounds for Linear Systems
                  Through the {L}anczos Process",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "5",
  pages =        "255--267",
  year =         "1999",
}

@Article{Funge98,
  author =       "J. Funge",
  title =        "Representing Knowledge within the Situation
                  Calculus Using Interval-Valued Epistemic Fluents",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "35--61",
  year =         "1998",
}

@Article{Gabaldon98,
  author =       "A. Gabaldon and H. T. Nguyen",
  title =        "Exclusive {OR} Operation That Leads to the
                  Narrowest Intervals",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "303--306",
  year =         "1998",
}

@Article{Gardenes01,
  author =       "E. Gardenes and M. A. Sainz and L. Jorba and
                  R. Calm and R. Estela and H. Mielgo and A. Trepat",
  title =        "Modal Intervals",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "7",
  pages =        "77--111",
  year =         "2001",
}

@Article{Garloff93,
  author =       "J. Garloff",
  title =        "The {B}ernstein Algorithm",
  journal =      "Interval Computations",
  number =       "2",
  pages =        "154--168",
  year =         "1993",
}

@Article{Garloff00,
  author =       "J. Garloff",
  title =        "Application of {B}ernstein Expansion to the
                  Solution of Control Problems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "6",
  pages =        "303--320",
  year =         "2000",
}

@Article{Garloff07,
  author =       "J. Garloff and I. Idriss and A. P. Smith",
  title =        "Guaranteed Parameter Set Estimation for
                  Exponential Sums: The Three-Terms Case",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "13",
  pages =        "351--359",
  year =         "2007",
}

@Article{Gavrilova00,
  author =       "M. Gavrilova and H. Ratschek and J. G. Rokne",
  title =        "Exact Computation of {D}elaunay and
                  Power Triangulations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "39--60",
  year =         "2000",
}

@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{Goldsztejn05,
  author =       "A. Goldsztejn",
  title =        "A Right-Preconditioning Process for the
                  Formal-Algebraic Approach to Inner and Outer
                  Estimation of AE-Solution Sets",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "11",
  pages =        "443--478",
  year =         "2005",
}

@Article{Gonzalez98,
  author =       "G. Gonzalez",
  title =        "Intervals Help to Design an Imaging System",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "103--104",
  year =         "1998",
}

@Article{Granvilliers01,
  author =       "L. Granvilliers",
  title =        "On the Combination of Interval Constraint Solvers",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "7",
  pages =        "467--483",
  year =         "2001",
}

@Article{Graves-Morris00,
  author =       "P. R. Graves-Morris",
  title =        "Reliability of {L}anczos-Type Product Methods
                  from Perturbation Theory",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "6",
  pages =        "411--428",
  year =         "2000",
}

@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{Gudenberg02,
  author =       "J. Wolff von Gudenberg",
  title =        "Interval Arithmetic on Multimedia Architectures",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "8",
  pages =        "307--312",
  year =         "2002",
}

@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{Hajagos07,
  author =       "J. G. Hajagos",
  title =        "Interval Monte Carlo as an Alternative to
                  Second-Order Sampling for Estimating Ecological
                  Risk",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "13",
  pages =        "71--81",
  year =         "2007",
}

@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{Hansen93,
  author =       "E. R. Hansen",
  title =        "Sharpness in Interval Computations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "3",
  pages =        "17--29",
  year =         "1993",
}

@Article{Hansen00,
  author =       "E. R. Hansen",
  title =        "The Hull of Preconditioned Interval Linear Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "95--103",
  year =         "2000",
}

@Article{Hansen00,
  author =       "E. R. Hansen",
  title =        "Reminiscences",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "225",
  year =         "2000",
}

@Article{Hansen02,
  author =       "E. R. Hansen and G. W. Walster",
  title =        "Sharp Bounds on Interval Polynomial Roots",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "115--122",
  year =         "2002",
}

@Article{Hansen05,
  author =       "E. R. Hansen",
  title =        "A Theorem on Regularity of Interval Matrices",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "11",
  pages =        "495--497",
  year =         "2005",
}

@Article{Hansen06,
  author =       "E. R. Hansen",
  title =        "Sharpening Interval Computations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "12",
  pages =        "21--34",
  year =         "2006",
}

@Article{Hansen06,
  author =       "E. R. Hansen and G. W. Walster",
  title =        "Solving Overdetermined Systems of Interval
                  Linear Equations",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "12",
  pages =        "239--243",
  year =         "2006",
}

@Article{Hansen06,
  author =       "E. R. Hansen",
  title =        "A Multidimensional Interval Newton Method",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "253--272",
  year =         "2006",
}

@Article{Heindl97,
  author =       "G. Heindl",
  title =        "How to Compute Interval Inclusions of
                  Geodetic Coordinates from
                  Interval Inclusions of Cartesian Coordinates",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "421--435",
  year =         "1997",
}

@Article{Heindl98,
  author =       "G. Heindl and V. Kreinovich and A. V. Lakeyev",
  title =        "Solving Linear Interval Systems Is {NP}-Hard
                  Even If We Exclude Overflow and Underflow",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "383--388",
  year =         "1998",
}

@Article{Heindl99,
  author =       "G. Heindl",
  title =        "How to Guarantee Finite Termination of Verifying
                  Global Optimization Codes",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "63--68",
  year =         "1999",
}

@Article{Heindl99,
  author =       "G. Heindl",
  title =        "A Representation of the Interval Hull of a
                  Tolerance Polyhedron Describing Inclusions
                  of Function Values and Slopes",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "5",
  pages =        "269--278",
  year =         "1999",
}

@Article{Heindl02,
  author =       "G. Heindl and V. Kreinovich and M. Rifqi",
  title =        "In Case of Interval (or More General) Uncertainty,
                  No Algorithm Can Choose the Simplest Representative",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "8",
  pages =        "213--227",
  year =         "2002",
}

@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{Hoefkens02,
  author =       "J. Hoefkens and M. Berz",
  title =        "Verification of Invertibility of Complicated
                  Functions over Large Domains",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "8",
  pages =        "67--82",
  year =         "2002",
}

@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{Herrero05,
  author =       "P. Herrero and M. A. Sainz and J. Vehi and L. Jaulin",
  title =        "Quantified Set Inversion Algorithm
                  with Applications to Control",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "369--382",
  year =         "2005",
}

@Article{Hertling01,
  author =       "P. Hertling",
  title =        "A Limitation for Underestimation via
                  Twin Arithmetic",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "7",
  pages =        "157--169",
  year =         "2001",
}

@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",
}

@Artilce{Hickey00,
  author=        "T. J. Hickey and Z. Qiu and M. H. van Emden",
  title =        "Interval Constraint Plotting for Interactive
                  Visual Exploration of Implicitly Defined Relations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "81--92",
  year =         "2000",
}

@Artilce{Hladik07,
  author=        "M. Hladik",
  title =        "Solution Set Characterization of Linear
                  Interval Systems with a Specific Dependence
                  Structure",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "13",
  pages =        "361--374",
  year =         "2007",
}

@Artilce{Hoefkens03,
  author=        "J. Hoefkens and M. Berz and K. Makino",
  title =        "Controlling the Wrapping Effect in the Solution
                  of {ODE}s for Asteroids",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "9",
  pages =        "21--41",
  year =         "2003",
}

@Artilce{Hofschuster96,
  author=        "W. Hofschuster and W. Kraemer",
  title =        "A Computer Oriented Approach to Get
                  Sharp Reliable Error Bounds",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "239--248",
  year =         "1996",
}

@Artilce{Hofschuster00,
  author=        "W. Hofschuster and W. Kraemer",
  title =        "Mathematical Function Software on the Web - Are
                  Such Codes Useful for Verification Algorithms?",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "207--218",
  year =         "2000",
}

@Artilce{Holzmann96,
  author=        "O. Holzmann and B. Lang and H. Schuett",
  title =        "{N}ewton's constant of gravitation and verified numerical
                  quadrature",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "229--240",
  year =         "1996",
}

@Artilce{Horowitz03,
  author=        "J. L. Horowitz and C. F. Manski and
                  M. Ponomareva and J. Stoye ",
  title =        "Computation of Bounds on Population Parameters When
                  the Data Are Incomplete",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "9",
  pages =        "419--440",
  year =         "2003",
}

@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{Hu98a,
  author =       "C. Hu and A. Cardenas and
                  S. Hoogendoorn and P. Sepulveda Jr.",
  title =        "An Interval Polynomial Interpolation Problem
                  and Its {L}agrange Solution",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "27--38",
  year =         "1998",
}

@Article{Hu98a,
  author =       "Z. H. Hu",
  title =        "Reliable Optimal Production Control with
                  {C}obb-{D}ouglas Model",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "63--69",
  year =         "1998",
}

@Article{Hu07,
  author =       "C. Hu and L. T. He",
  title =        "An Application of Interval Methods to
                  Stock Market Forecasting",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "13",
  pages =        "423--434",
  year =         "2007",
}

@Article{Hungerbuehler98a,
  author =       "R. Hungerbuehler and J. Garloff",
  title =        "Bounds for the Range of a Bivariate Polynomial
                  over a Triangle",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "3--13",
  year =         "1998",
}

@Article{Hungerbuehler00a,
  author =       "R. Hungerbuehler and J. Garloff",
  title =        "Computation of the {B}ernstein Coefficients on
                  Subdivided Triangles",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "115--121",
  year =         "2000",
}

@Article{Huyer04,
  author =       "W. Huyer and A. Neumaier",
  title =        "Integral Approximation of Rays and Verification
                  of Feasibility",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "10",
  pages =        "195--207",
  year =         "2004",
}

@Article{Ida04,
  author =       "M. Ida",
  title =        "Solutions for the Portfolio Selection Problem with
                  Interval and Fuzzy Coefficients",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "10",
  pages =        "389--400",
  year =         "2004",
}

@Article{Inuiguchi04,
  author =       "M. Inuiguchi and T. Tanino",
  title =        "Fuzzy Linear Programming with Interactive
                  Uncertain Parameters",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "10",
  pages =        "357--367",
  year =         "2004",
}

@Article{Ivlev07,
  author =       "R. S. Ivlev and S. P. Sokolova",
  title =        "Exponential Stability of Interval Dynamical
                  Systems with Quadratic Nonlinearity",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "13",
  pages =        "283--291",
  year =         "2007",
}

@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{Jansson98,
  author =       "C. Jansson",
  title =        "An {NP}-Hardness Result for Nonlinear System",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "345--350",
  year =         "1998",
}

@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{Jaulin99,
  author =       "L. Jaulin and J.-L. Boimond and L. Hardouin",
  title =        "Estimation of Discrete-Event Systems Using
                  Interval Computation",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "165--173",
  year =         "1999",
}

@Article{Jaulin01,
  author =       "L. Jaulin",
  title =        "Path Planning Using Intervals and Graphs",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "1--15",
  year =         "2001",
}

@Article{Jaulin01,
  author =       "L. Jaulin",
  title =        "Reliable Minimax Parameter Estimation",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "7",
  pages =        "231--246",
  year =         "2001",
}

@Article{Jaulin04,
  author =       "L. Jaulin, S. Ratschan, and L. Hardouin",
  title =        "Set Computation for Nonlinear Control",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "10",
  pages =        "1--26",
  year =         "2004",
}

@Article{Jaulin05,
  author =       "L. Jaulin and D. Henrion",
  title =        "Contracting Optimally an Interval Matrix  without
                  Loosing Any Positive Semi-Definite Matrix Is a
                  Tractable Problem",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "11",
  pages =        "1--17",
  year =         "2005",
}

@Article{Johnson02,
  author =       "C. R. Johnson and R. L. Smith",
  title =        "Intervals of Inverse {M}-matrices",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "8",
  pages =        "239--243",
  year =         "2002",
}

@Article{Johnson06,
  author =       "D. B. Johnson and I. D. L. Bogle",
  title =        "Handling Uncertainty in the Development and Design
                  of Chemical Processes",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "12",
  pages =        "409--426",
  year =         "2006",
}

@Article{Kai00,
  author =       "H. Kai and M.-T. Noda",
  title =        "Hybrid Rational Function Approximation and
                  Its Accuracy Analysis",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "6",
  pages =        "429--438",
  year =         "2000",
}

@Article{Kalovics97,
  author =       "F. Kalovics and G. Meszaros",
  title =        "Finding Global Minima of Maximum Functions
                  by Using Exclusion Functions
                  without Derivatives",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "381--399",
  year =         "1997",
}

@Article{Kalovics99,
  author =       "F. Kalovics",
  title =        "Solving Nonlinear Constrained Minimization
                  Problems with a New Interval Valued Function",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "5",
  pages =        "395--406",
  year =         "1999",
}

@Article{Karcanias00,
  author =       "N. Karcanias and M. Mitrouli",
  title =        "Numerical Computation of the Least Common
                  Multiple of a Set of Polynomials",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "6",
  pages =        "439--457",
  year =         "2000",
}

@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 systems",
  journal =      "Interval Computations",
  number =       "1",
  pages =        "15--33",
  year =         "1993",
}

@Article{Kearfott01,
  author =       "R. B. Kearfott",
  title =        "An Example of Singularity in Nonlinear Systems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "7",
  pages =        "425--429",
  year =         "2001",
}

@Article{Kearfott02,
  author =       "R. B. Kearfott",
  title =        "On Existence and Uniqueness Verification for
                  Non-Smooth Functions",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "8",
  pages =        "267--282",
  year =         "2002",
}

@Article{Kearfott02,
  author =       "R. B. Kearfott and G. W. Walster",
  title =        "Symbolic Preconditioning with {T}aylor Models:
                  Some Examples",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "8",
  pages =        "453--468",
  year =         "2002",
}

@Article{Kearfott03,
  author =       "R. B. Kearfott",
  title =        "{COCOS'02}: A Workshop on Global Constrained
                  Optimization and Constraint Satisfaction",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "9",
  pages =        "81--87",
  year =         "2003",
}

@Article{Kearfott05,
  author =       "R. B. Kearfott",
  title =        "Errata and Opinion to: "An Interval Entropy
                  Penalty Method for Nonlinear Global
                  Optimization," by Zhenyu Huang,
                  Reliable Computing 4 (1) (1998)",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "163--164",
  year =         "2005",
}

@Article{Kearfott05,
  author =       "R. B. Kearfott",
  title =        "Validated Constraint Solving - Practicalities,
                  Pitfalls, and New Developments",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "383--391",
  year =         "2005",
}

@Article{Keil06,
  author =       "C. Keil and C. Jansson",
  title =        "Computational Experience with Rigorous Error Bounds
                  for the Netlib Linear Programming Library",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "303--321",
  year =         "2006",
}

@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{Kieffer00,
  author =       "M. Kieffer and L. Jaulin and E. Walter and
                  D. Meizel",
  title =        "Robust Autonomous Robot Localization Using
                  Interval Analysis",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "6",
  pages =        "337--361",
  year =         "2000",
}

@Article{Kirchner06,
  author =       "R. Kirchner and U. W. Kulisch",
  title =        "Hardware Support for Interval Arithmetic",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "12",
  pages =        "225--227",
  year =         "2006",
}

@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{Kohout04,
  author =       "L. J. Kohout and E. Kim",
  title =        "Characterization of Interval Fuzzy Logic Systems
                  of Connectives by Group Transformations",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "10",
  pages =        "299--334",
  year =         "2004",
}


@Article{Kolev93,
  author =       "L. V. Kolev",
  title =        "Use of Interval Slopes for the Irrational
                  Part of Factorable Functions",
  journal =      "Interval Computations",
  number =       "1",
  volume =       "3",
  pages =        "83--93",
  year =         "1993",
}

@Article{Kolev98,
  author =       "L. V. Kolev",
  title =        "A New Method for Global Solution of Systems
                  of Non-Linear Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "125--146",
  year =         "1998",
}

@Article{Kolev99,
  author =       "L. V. Kolev",
  title =        "An Improved Method for Global Solution of
                  Non-Linear Systems",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "103--111",
  year =         "1999",
}

@Article{Kolev01,
  author =       "L. V. Kolev",
  title =        "Automatic Computation of a Linear
                  Interval Enclosure",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "17--28",
  year =         "2001",
}

@Article{Kolev01,
  author =       "L. V. Kolev and I. P. Nenov",
  title =        "Cheap and Tight Bounds on the Solution Set of
                  Perturbed Systems of Nonlinear Equations",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "7",
  pages =        "399--408",
  year =         "2001",
}

@Article{Kolev02,
  author =       "L. V. Kolev",
  title =        "Outer Solution of Linear Systems Whose Elements
                  Are Affine Functions of Interval Parameters",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "8",
  pages =        "493--501",
  year =         "2002",
}

@Article{Kolev04,
  author =       "L. V. Kolev",
  title =        "A Method for Outer Interval Solution of
                  Linear Parametric Systems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "10",
  pages =        "227--239",
  year =         "2004",
}

@Article{Kolev06,
  author =       "L. V. Kolev",
  title =        "Outer Interval Solution of the Eigenvalue Problem
                  under General Form Parametric Dependencies",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "121--140",
  year =         "2006",
}

@Article{Kolev06,
  author =       "L. V. Kolev",
  title =        "Improvement of a Direct Method for Outer
                  Solution of Linear Parametric Systems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "12",
  pages =        "193--202",
  year =         "2006",
}

@Article{Kolev06,
  author =       "L. V. Kolev",
  title =        "New Formulae for Multiplication of Intervals",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "12",
  pages =        "281--292",
  year =         "2006",
}

@Article{Kolev07,
  author =       "L. V. Kolev",
  title =        "Optimal Multiplication of G-intervals",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "13",
  pages =        "399--408",
  year =         "2007",
}

@Article{Kolev07,
  author =       "L. V. Kolev",
  title =        "Determining the Positive Definiteness Margin
                  of Interval Matrices",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "13",
  pages =        "445--466",
  year =         "2007",
}

@Article{Kohout95,
  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{Kozine02,
  author =       "I. O. Kozine and L. V. Utkin",
  title =        "Interval-Valued Finite {M}arkov Chains",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "97--113,
  year =         "2002",
}

@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{Koshelev98,
  author =       "M. Koshelev and L. Longpre",
  title =        "A Brief Description of {G}ell-{M}ann's Lecture and
                  How Intervals May Help to Describe
                  Complexity in the Real World",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "105--107",
  year =         "1998",
}

@Article{Koshelev98,
  author =       "M. Koshelev and L. Longpre and P. Taillibert",
  title =        "Optimal Enclosure of Quadratic Interval
                  Functions",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "351--360",
  year =         "1998",
}

@Article{Koshelev00,
  author =       "M. Koshelev",
  title =        "Every Superinterval of the Function Range
                  Can Be an Interval-Computations Enclosure",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "219--223",
  year =         "2000",
}

@Article{Kosheleva98,
  author =       "O. Kosheleva and P. G. Vroegindeweij ",
  title =        "When Is the Product of Intervals Also
                  an Interval?",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "179--190",
  year =         "1998",
}

@Article{Kosheleva98,
  author =       "O. M. Kosheleva",
  title =        "Hilbert Problems (Almost) 100 Years Later
                 (From the Viewpoint of Interval Computations)",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "399--403",
  year =         "1998",
}

@Article{Kosheleva99,
  author =       "O. Kosheleva and V. Kreinovich",
  title =        "Error Estimation for Indirect Measurements:
                  Interval Computation Problem Is (Slightly)
                  Harder Than a Similar Probabilistic Computational
                  Problem",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "81--95",
  year =         "1999",
}

@Article{Kosheleva99,
  author =       "O. Kosheleva and S. D. Cabrera and
                  G. A. Gibson and S. Cherukuri",
  title =        "Interval Estimates for Signal Processing:
                  Special Purpose Hardware",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "175--196",
  year =         "1999",
}

@Article{Kosheleva99,
  author =       "O. Kosheleva and V. Kreinovich",
  title =        "Only Intervals Preserve the Invertibility of
                  Arithmetic Operations",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "5",
  pages =        "385--394",
  year =         "1999",
}

@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{Kozina04,
  author =       "G. L. Kozina",
  title =        "Discrete Optimization Problems with Interval Data:
                  {P}areto Set of Solutions or Set of Weak Solutions?",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "10",
  pages =        "469--487",
  year =         "2004",
}

@Artilce{Kraemer96,
  author=        "W. Kramer and S. Wedner",
  title =        "Two adaptive {G}auss-{L}egendre type algorithms for the verified
                  computation of definite integrals",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "241--254",
  year =         "1996",
}

@Artilce{Kraemer96,
  author=        "W. Kraemer and A. Bantle",
  title =        "Automatic Forward Error Analysis for
                  Floating Point Algorithms",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "7",
  pages =        "321--340",
  year =         "2001",
}

@Artilce{Kraemer03,
  author=        "W. Kraemer and J. Wolff von Gudenberg",
  title =        "Extended Interval Power Function",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "9",
  pages =        "339--347",
  year =         "2003",
}

@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",
}

@Artilce{Kreinovich96,
  author=        "V. Kreinovich and A. V. Lakeyev",
  title =        "Linear interval equations: Computing enclosures with
                 bounded relative or absolute overestimation is NP-hard",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "2",
  pages =        "341--350",
  year =         "1996",
}

@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{Kreinovich96e,
  author =       "V. Kreinovich and K. Villaverde",
  title =        "A quadratic-time algorithm for smoothing interval
                  functions",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "255--264",
  year =         "1996",
}

@Article{Kreinovich97,
  author =       "V. Kreinovich and A. Bernat",
  title =        "Is Solar System Stable? A Remark",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "3",
  pages =        "149--154",
  year =         "1997",
}

@Article{Kreinovich97,
  author =       "V. Kreinovich and S. Starks and G. Mayer",
  title =        "On a Theoretical Justification of the
                  Choice of Epsilon-Inflation in {PASCAL-XSC}",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "437--445",
  year =         "1997",
}

@Article{Kreinovich01,
  author =       "V. Kreinovich",
  title =        "Roundoff-Free Number Fields for
                  Interval Computations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "41--47",
  year =         "2001",
}

@Article{Kreinovich02,
  author =       "V. Kreinovich",
  title =        "Range Estimation Is {NP}-Hard for {e^2} Accuracy and
                  Feasible for {e^(2-d)}",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "8",
  pages =        "481--491",
  year =         "2002",
}

@Article{Kreinovich03,
  author =       "V. Kreinovich and L. Longpre and J. J. Buckley",
  title =        "Are There Easy-to-Check Necessary and Sufficient
                  Conditions for Straightforward Interval Computations
                  To Be Exact?",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "9",
  pages =        "349--358",
  year =         "2003",
}

@Article{Kreinovich03,
  author =       "V. Kreinovich and S. Ferson and L. Ginzburg",
  title =        "Exact Upper Bound on the Mean of the Product
                  of Many Random Variables with Known Expectations",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "9",
  pages =        "441--463",
  year =         "2003",
}

@Article{Kreinovich05,
  author =       "V. Kreinovich and L. Longpre and P. Patangay and
                  S. Ferson and L. Ginzburg",
  title =        "Outlier Detection under Interval Uncertainty:
                  Algorithmic Solvability and Computational Complexity",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "11",
  pages =        "59--76",
  year =         "2005",
}

@Article{Kreinovich05,
  author =       "V. Kreinovich",
  title =        "Optimal Finite Characterization of Linear
                  Problems with Inexact Data",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "11",
  pages =        "479--489",
  year =         "2005",
}

@Article{Kreinovich06,
  author =       "V. Kreinovich and S. Rump",
  title =        "Towards Optimal Use of Multi-Precision Arithmetic:
                  A Remark",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "12",
  pages =        "365--369",
  year =         "2006",
}

@Article{Kreinovich06,
  author =       "V. Kreinovich and G. Xiang and S. A. Starks and
                  L. Longpre and M. Ceberio and R. Araiza and
                  J. Beck and R. Kandathi and A. Nayak and
                  R. Torres and J. G. Hajagos",
  title =        "Towards Combining Probabilistic and Interval
                  Uncertainty in Engineering Calculations:
                  Algorithms for Computing Statistics under
                  Interval Uncertainty, and Their
                  Computational Complexity",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "12",
  pages =        "471--501",
  year =         "2006",
}

@Article{Kreinovich07,
  author =       "V. Kreinovich and J. Beck and C. Ferregut and
                  A. Sanchez and G. R. Keller and M. Averill,
                  and S. A. Starks",
  title =        "Monte-Carlo-Type Techniques for Processing
                  Interval Uncertainty, and Their Potential
                  Engineering Applications",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "13",
  pages =        "25--69",
  year =         "2007",
}

@Article{Kreinovich07,
  author =       "V. Kreinovich and R. Muhanna",
  title =        "Interval-Related Talks at the International
                  Conference on Finite Element Methods in
                  Engineering and Science",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "13",
  pages =        "375--379",
  year =         "2007",
}

@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{Kubica05,
  author =       "B. J. Kubica and K. Malinowski",
  title =        "An Interval Global Optimization Algorithm
                  Combining Symbolic Rewriting and Componentwise
                  Newton Method Applied to Control a Class
                  of Queueing Systems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "393--411",
  year =         "2005",
}

@Article{Kulpa97,
  author =       "Z. Kulpa",
  title =        "Diagrammatic Representation of Interval Space in
                  Proving Theorems about Interval Relations ",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "209--217",
  year =         "1997",
}

@Article{Kulpa03,
  author =       "Z. Kulpa",
  title =        "Diagrammatic Analysis of Interval Linear
                  Equations: Part I: Basic Notions and the
                  One-Dimensional Case",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "9",
  pages =        "1--20",
  year =         "2003",
}

@Article{Kulpa03,
  author =       "Z. Kulpa",
  title =        "Diagrammatic Analysis of Interval Linear Equations.
                  Part II: The Two-Dimensional Case and Generalization
                  to n Dimensions",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "9",
  pages =        "205--228",
  year =         "2003",
}

@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{Lagrange07,
  author =       "S. Lagrange and N. Delanoue and L. Jaulin",
  title =        "On Sufficient Conditions of the Injectivity:
                  Development of a Numerical Test Algorithm
                  via Interval Analysis",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "13",
  pages =        "409--421",
  year =         "2007",
}

@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{Lakeyev96,
  author =       "A. V. Lakeyev and V. Kreinovich",
  title =        "{NP}-Hard Classes of Linear Algebraic Systems
                  with Uncertainties",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "3",
  pages =        "51--81",
  year =         "1996",
}

@Artilce{Lea96,
  author=        "R. N. Lea and V. Kreinovich and R. Trejo",
  title =        "Optimal interval enclosures for fractionally-linear functions,
                  and their application to intelligent control",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "265--286",
  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{Leclerc98,
  author =       "A. Leclerc and J. Ely",
  title =        "Reliable Collision Detection for
                  Time-Dependent Parametric Surfaces",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "331--344",
  year =         "1998",
}

@Article{Lerch99,
  author =       "M. Lerch and J. Wolff von Gudenberg",
  title =        "Expression Templates for Dot Product Expressions",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "69--80",
  year =         "1999",
}


@Article{Levichev8,
  author =       "A. Levichev and O. Kosheleva",
  title =        "Intervals in Space-Time: {A. D. A}lexandrov is 85",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "109--112",
  year =         "1998",
}

@Article{Lin06,
  author =       "Y. Lin and C. R. Gwaltney and
                  M. A. Stadtherr",
  title =        "Reliable Modeling and Optimization for Chemical
                  Engineering Applications: Interval Analysis
                  Approach",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "12",
  pages =        "427--450",
  year =         "2006",
}

@Article{Litvinov92,
  author =       "G. L. Litvinov",
  title =        "Error auto-correction
                  in rational approximation",
  journal =      "Interval Computations",
  number =       "4",
  pages =        "14--18",
  year =         "1992",
}

@Article{Litvinov01,
  author =       "G. L. Litvinov and A. N. Sobolevskii",
  title =        "Idempotent Interval Analysis and
                  Optimization Problems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "7",
  pages =        "353--377",
  year =         "2001",
}

@Article{Lodwick03,
  author =       "W. A. Lodwick and K. D. Jamison",
  title =        "Estimating and Validating the Cumulative Distribution
                  of a Function of Random Variables: Toward the
                  Development of Distribution Arithmetic",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "127--141",
  year =         "2003",
}

@Article{Loh02,
  author =       "E. Loh and G. W. Walster",
  title =        "(R)ump's Example Revisited",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "8",
  pages =        "245--248",
  year =         "2002",
}

@Artilce{Longpre97,
  author=        "L. Longpre and M. Berz",
  title =        "Interval and Complexity Workshops Back-to-Back
                  with 1997 {ACM} {S}ymposium on
                  {T}heory of {C}omputing ({STOC'97})",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "453--457",
  year =         "1997",
}

@Artilce{Lordelo06,
  author=        "A. D. S. Lordelo and E. A. Juzzo and P. A. V. Ferreira",
  title =        "Analysis and Design of Robust Controllers Using
                  the Interval Diophantine Equation",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "12",
  pages =        "371--388",
  year =         "2006",
}

@Artilce{Lorkowski96,
  author=        "J. Lorkowski and V. Kreinovich",
  title =        "If we measure a number, we get an interval.
                  What if we measure a function or an operator?",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "287--298",
  year =         "1996",
}

@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{Lyashko96,
  author =       "M. A. Lyashko",
  title =        "On the speed of convergence of the total step iterative
                 method for a class of interval linear algebraic systems",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "2",
  pages =        "351--356",
  year =         "1996",
}

@Article{Lyashko05,
  author =       "M. A. Lyashko",
  title =        "The Optimal Solution of an Interval System of
                  Linear Algebraic Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "105--127",
  year =         "2005",
}

@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{Makino94,
  author =       "K. Makino and M. Berz",
  title =        "Efficient Control of the Dependency Problem
                  Based on Taylor Model Methods",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "5",
  pages =        "3--12",
  year =         "1999",
}

@Article{Mayer02,
  author =       "J. Mayer",
  title =        "An Approach to Overcome Division by Zero in the
                  Interval Gauss Algorithm",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "8",
  pages =        "229--237",
  year =         "2002",
}

@Article{Morales98,
  author =       "D. Morales and T. C. Son",
  title =        "Interval Methods in Robot Navigation",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "4",
  pages =        "55--61",
  year =         "1998",
}

@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{Markov97,
  author =       "S. M. Markov",
  title =        "Isomorphic Embeddings of Abstract Interval Systems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "199--207",
   year =        "1997",
}

@Article{Markov01,
  author =       "S. Markov",
  title =        "The Mystery of Intervals",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "63--65",
   year =        "2001",
}

@Article{Markov01,
  author =       "S. Markov",
  title =        "On the Algebraic Properties of Intervals
                  and Some Applications",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "7",
  pages =        "113--127",
   year =        "2001",
}

@Article{Mayer98,
  author =       "G. Mayer and J. Rohn",
  title =        "On the Applicability of the Interval
                  Gaussian Algorithm",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "205--222",
   year =         "1998",
}

@Article{Mayer06,
  author =       "G. Mayer",
  title =        "A Contribution to the Feasibility of the
                  Interval Gaussian Algorithm",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "79--98",
  year =         "2006",
}

@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{Meer04,
   author =       "K. Meer",
   title =        "On a Refined Analysis of Some Problems in
                   Interval Arithmetic Using Real Number
                   Complexity Theory",
   journal =      "Reliable Computing",
   number =       "3",
   volume =       "10",
   pages =        "209--225",
   year =         "2004",
}

@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{Menshikov98,
  author =       "G. G. Menshikov",
  title =        "Intersection Subdistributivity and
                  Interval Hull Superdistributivity
                  with Respect to the Interval Maps",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "377--381",
  year =         "1998",
}

@Article{Menshikov01,
  author =       "G. G. Menshikov and A. V. Tomashevsky",
  title =        "On /\-Subdistributivity and \/-Superdistributivity
                  with Respect to Interval Map in {K}aucher Arithmetic",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "7",
  pages =        "53--57",
  year =         "2001",
}

@Article{Menshikov01,
  author =       "G. G. Menshikov",
  title =        "The Preliminary Enclosing of the {ODE} Solutions
                  on the Base of the {C}auchy-{D}uhamel Identity",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "7",
  pages =        "485--495",
  year =         "2001",
}

@Article{Merenyi98,
  author =       "E. Merenyi and S. Starks and K. Villaverde",
  title =        "Hyper-Spectral Satellite Images:
                  Interval Methods May Be Helpful",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "395--397",
  year =         "1998",
}

@Article{Messine06,
  author =       "F. Messine and A. Touhami",
  title =        "A General Reliable Quadratic Form:
                  An Extension of Affine Arithmetic",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "12",
  pages =        "171--192",
  year =         "2006",
}

@Article{Min99,
  author =       "K. Min and L. Qi and S. Zuhe",
  title =        "On the Componentwise {K}rawczyk-{M}oore Iteration",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "5",
  pages =        "359--370",
  year =         "1999",
}

@Article{Minamoto97,
  author =       "T. Minamoto and M. T. Nakao",
  title =        "Numerical Verifications of Solutions for
                  Nonlinear Parabolic Equations in One-Space
                  Dimensional Case",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "3",
  pages =        "137--147",
  year =         "1997",
}

@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{Moore02,
  author =       "R. E. Moore",
  title =        "Sparse Systems in Fixed Point Form",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "8",
  pages =        "249--265",
  year =         "2002",
}

@Article{Moore99,
   author =       "R. Moore",
   title =        "The Dawning",
   journal =      "Reliable Computing",
   number =       "4",
   volume =       "5",
   pages =        "423--424",
   year =         "1999",
}

@Article{Moore06,
   author =       "R. Moore",
   title =        "Introductory Remarks on Reliable Engineering
                   Computing",
   journal =      "Reliable Computing",
   number =       "6",
   volume =       "12",
   pages =        "405--408",
   year =         "2006",
}

@Article{Mrozek97,
   author =       "M. Mrozek and M. Zelawski",
   title =        "Heteroclinic connections in the
                   {K}uramoto-{S}ivashinsky equation:
                   a computer assisted proof",
   journal =      "Reliable Computing",
   number =       "3",
   volume =       "3",
   pages =        "277--285",
   year =         "1997",
}

@Article{Muhanna07,
   author =       "R. L. Muhanna and H. Zhang and R. L. Mullen",
   title =        "Interval Finite Elements as a Basis for
                   Generalized Models of Uncertainty in
                   Engineering Mechanics",
   journal =      "Reliable Computing",
   number =       "2",
   volume =       "13",
   pages =        "173--194",
   year =         "2007",
}

@Article{Mullerk99,
   author =       "J.-M. Muller",
   title =        "A Few Results on Table-Based Methods",
   journal =      "Reliable Computing",
   number =       "3",
   volume =       "5",
   pages =        "279--288",
   year =         "1999",
}

@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{Munoz04,
  author =       "H. Munoz and R. B. Kearfott",
  title =        "Slope Intervals, Generalized Gradients,
                  Semigradients, Slant Derivatives, and Csets",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "163--193",
  year =         "2004",
}

@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{Nakao98,
  author =       "M. T. Nakao and N. Yamamoto and Y. Watanabe",
  title =        "Constructive {L^2} Error Estimates for Finite
                  Element Solutions of the {S}tokes Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "115--124",
  year =         "1998",
}

@Article{Nakao03,
  author =       "M. T. Nakao and Y. Watanabe and
                  N. Yamamoto and T. Nishida",
  title =        "Some Computer Assisted Proofs for Solutions of
                  the Heat Convection Problems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "9",
  pages =        "359--372",
  year =         "2003",
}

@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{Nataraj99,
  author =       "P. S. V. Nataraj and S. Srivastava",
  title =        "Synthesis of Robustly Stabilizing
                  General Order Compensators for
                  Interval Plants Using Interval Analysis",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "5",
  pages =        "407--422",
  year =         "1999",
}

@Article{Nataraj02,
  author =       "P. S. V. Nataraj and S. M. Sheela",
  title =        "A New Subdivision Strategy for Range Computations",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "8",
  pages =        "83--92",
  year =         "2002",
}

@Article{Nataraj02,
  author =       "P. S. V. Nataraj and A. K. Prakash",
  title =        "A Parallelized Version of the Covering Algorithm
                  for Solving Parameter-Dependent Systems of
                  Nonlinear Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "123--130",
  year =         "2002",
}

@Article{Nataraj02,
  author =       "P. S. V. Nataraj and S. M. Sheela",
  title =        "A {QFT} Procedure for Generating Design Frequencies
                  and Bounds of Guaranteed Accuracy",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "8",
  pages =        "427--451",
  year =         "2002",
}

@Article{Nataraj03,
  author =       "P. S. V. Nataraj and K. Kotecha",
  title =        "Higher Order Convergence for Multidimensional
                  Functions with a New {T}aylor-{B}ernstein Form as
                  Inclusion Function",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "9",
  pages =        "185--203",
  year =         "2003",
}

@Article{Nataraj03,
  author =       "P. S. V. Nataraj and J. J. Barve",
  title =        "Reliable Computation of Frequency Response Plots
                  for Nonrational Transfer Functions to
                  Prescribed Accuracy",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "9",
  pages =        "373--389",
  year =         "2003",
}

@Article{Nataraj04,
  author =       "P. S. V. Nataraj and K. Kotecha",
  title =        "Global Optimization with Higher Order
                  Inclusion Function Forms.
                  Part 1: A Combined Taylor-Bernstein Form",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "10",
  pages =        "27--44",
  year =         "2004",
}

@Article{Nedialkov99,
  author =       "N. S. Nedialkov and K. R. Jackson",
  title =        "An Interval Hermite-Obreschkoff Method for
                  Computing Rigorous Bounds on the Solution
                  of an Initial Value Problem for an Ordinary
                  Differential Equation",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "5",
  pages =        "289--310",
  year =         "1999",
}

@Article{Nedialkov99,
  author =       "N. S. Nedialkov and K. R. Jackson and J. D. Pryce",
  title =        "An Effective High-Order Interval Method for
                  Validating  Existence and Uniqueness of the
                  Solution of an IVP for an ODE",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "7",
  pages =        "449--465",
  year =         "2001",
}

@Article{Nedoma97,
  author =       "J. Nedoma",
  title =        "Sign-Stable Solutions of Column-Vague
                  Linear Equation Systems",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "3",
  pages =        "173--180",
  year =         "1997",
}

@Article{Neher01,
  author =       "M. Neher",
  title =        "Validated Bounds for Taylor Coefficients of
                  Analytic Functions",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "7",
  pages =        "307--319",
  year =         "2001",
}

@Article{Nenov03,
  author =       "I. P. Nenov and D. H. Fylstra",
  title =        "Interval Methods for Accelerated Global Search
                  in the {M}icrosoft {Excel} {S}olver",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "143--159",
  year =         "2003",
}

@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{Nesterov97,
  author =       "V. M. Nesterov",
  title =        "Interval and Twin Arithmetics",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "369--380",
  year =         "1997",
}

@Article{Neumaier99,
  author =       "A. Neumaier",
  title =        "A Simple Derivation of the
                  {H}ansen-{B}liek-{R}ohn-{N}ing-{K}earfott Enclosure for
                  Linear Interval Equations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "5",
  pages =        "131--136",
  year =         "1999",
}

@Article{Neumaier00,
  author =       "A. Neumaier",
  title =        "Erratum to:
                  A Simple Derivation of the
                  {H}ansen-{B}liek-{R}ohn-{N}ing-{K}earfott
                  Enclosure for Linear Interval Equations
                 (Reliable Computing Vol. 5 (2) (1999))",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "227",
  year =         "2000",
}

@Article{Neumaier02,
  author =       "A. Neumaier",
  title =        "Grand Challenges and Scientific Standards in
                  Interval Analysis",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "8",
  pages =        "313--320",
  year =         "2002",
}

@Article{Neumaier03,
  author =       "A. Neumaier",
  title =        "{T}aylor Forms - Use and Limits",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "9",
  pages =        "43--79",
  year =         "2003",
}

@Article{Neumaier04,
  author =       "A. Neumaier",
  title =        "Clouds, Fuzzy Sets, and Probability Intervals",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "10",
  pages =        "249--272",
  year =         "2004",
}

@Article{Neumaier07,
  author =       "A. Neumaier and A. Pownuk",
  title =        "Linear Systems with Large Uncertainties,
                  with Applications to Truss Structures",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "13",
  pages =        "149--172",
  year =         "2007",
}

@Article{Nguyen95,
  author =       "H. T. Nguyen and V. Kreinovich,
  title =        "From Numerical Intervals to Set Intervals
                  (Interval-Related Results Presented at the
                  First International Workshop on Applications
                  and Theory of Random Sets)",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "3",
  pages =        "95--102",
  year =         "1995",
}

@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{Nguyen04,
  author =       "H. T. Nguyen and V. Kreinovich and L. Longpre",
  title =        "Dirty Pages of Logarithm Tables, Lifetime of the
                  Universe, and (Subjective) Probabilities on
                  Finite and Infinite Intervals",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "10",
  pages =        "83--106",
  year =         "2004",
}

@Article{Nogueira97,
  author =       "M. Nogueira",
  title =        "Interval-Related Talks at {NASA} {URC} Conference",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "459--460",
  year =         "1997",
}

@Article{Nogueira98,
  author =       "M. Nogueira and A. Nandigam",
  title =        "Why Intervals? Because If We Allow Other Sets,
                  Tractable Problems Become Intractable",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "389--394",
  year =         "1998",
}

@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{Oberman03,
  author =       "T. Ogita and S. Oishi and Y. Ushiro",
  title =        "Computation of Sharp Rigorous Componentwise Error
                  Bounds for the Approximate Solutions of Systems of
                  Linear Equations",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "9",
  pages =        "229--239",
  year =         "2003",
}

@Article{Ogita05,
  author =       "T. Ogita and S. Oishi",
  title =        "Fast Inclusion of Interval Matrix Multiplication",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "11",
  pages =        "191--205",
  year =         "2005",
}

@Article{Ohta00,
  author =       "Y. Ohta",
  title =        "Nonconvex Polygon Interval Arithmetic as a Tool
                  for the Analysis and Design of
                  Robust Control Systems",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "6",
  pages =        "247--279",
  year =         "2000",
}

@Article{Oliveira96,
  author =       "J. B. Oliveira",
  title =        "New slope methods for sharper interval functions
                  and a note on {F}ischer's acceleration method",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "299--320",
  year =         "1996",
}

@Article{Oliveira02,
  author =       "J. B. Oliveira and L. Henrique de Figueiredo",
  title =        "Interval Computation of {V}iswanath's Constant",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "8",
  pages =        "131--138",
  year =         "2002",
}

@Article{Oliveira03,
  author =       "J. B. Oliveira and L. H. de Figueiredo",
  title =        "Robust Approximation of Offsets, Bisectors, and
                  Medial Axes of Plane Curves",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "161--175",
  year =         "2003",
}

@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{Otten97,
  author =       "W. Otten and W. Luther",
  title =        "Approximation Error and Error Accumulation
for the Landen Transform",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "249--258",
  year =         "1997",
}

@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{Paluh07,
  author =       "N. S. V. Paluri and S. Sondur",
  title =        "Experiments with Range Computations Using
                  Extrapolation",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "13",
  pages =        "1--23",
  year =         "2007",
}

@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{Patre06,
  author =       "B. M. Patre and B. Bandyopadhyay",
  title =        "Robust Control for Two-Time-Scale Discrete
                  Interval Systems",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "12",
  pages =        "45--58",
  year =         "2006",
}

@Article{Pelessoni03,
  author =       "R. Pelessoni and P. Vicig",
  title =        "Convex Imprecise Previsions",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "9",
  pages =        "465--485",
  year =         "2003",
}

@Article{Pereira06,
  author =       "S. C. Pereira and U. T. Mello and
                  N. F. F. Ebecken and R. L. Muhanna",
  title =        "Uncertainty in Thermal Basin Modeling:
                  An Interval Finite Element Approach",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "12",
  pages =        "451--470",
  year =         "2006",
}

@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{Petkovic97,
  author =       "L. D. Petkovic and S. Trickovic and M. S. Petkovic",
  title =        "Slope Methods of Higher Order for the Inclusion
                  of Complex Roots of Polynomials",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "349--362",
  year =         "1997",
}

@Article{Petkovic04,
  author =       "M. S. Petkovic and D. M. Milosevic",
  title =        "{O}strowski-like Method with Corrections for the
                  Inclusion of Polynomial Zeros",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "10",
  pages =        "437--467",
  year =         "2004",
}

@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{Plotnikov98,
  author =       "A. D. Plotnikov",
  title =        "One Criterion of Existence of a
                  {H}amiltonian Cycle",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "199--202",
  year =         "1998",
}

@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{Popov98,
  author =       "A. T. Popov",
  title =        "A Relation Between Morphological and
                  Interval Operations",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "4",
  pages =        "167--178",
  year =         "1998",
}

@Article{Popov98,
  author =       "A. T. Popov and H. T. Nguyen and L. K. Reznik",
  title =        "An Application of Fuzzy Mathematical Morphology
                  to Interval-Valued Knowledge Representation:
                  A Remark",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "4",
  pages =        "283--290",
  year =         "1998",
}

@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{Popova01,
  author =       "E. D. Popova",
  title =        "Multiplication Distributivity of Proper
                  and Improper Intervals",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "7",
  pages =        "129--140",
  year =         "2001",
}

@Article{Provetti96,
  author =       "A. Provetti",
  title =        "Ordering events: Intervals are sufficient,
                  more general sets are usually not necessary",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "2",
  pages =        "321--328",
  year =         "1996",
}

@Article{Puig03,
  author =       "V. Puig and J. Saludes and J. Quevedo",
  title =        "Worst-Case Simulation of Discrete Linear
                  Time-Invariant Interval Dynamic Systems",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "9",
  pages =        "251--290",
  year =         "2003",
}

@Article{Pushkov05,
  author =       "S. G. Pushkov and S. Y. Kalinkina",
  title =        "Boundary Realizations Method for Interval Linear
                  Dynamic Systems",
  journal =      "Reliable Computing",
  number =       "5",
  volume =       "11",
  pages =        "413--423",
  year =         "2005",
}

@Article{Rall00,
  author =       "L. B. Rall",
  title =        "Interval Integration",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "93--94",
  year =         "2000",
}

@Article{Rall03,
  author =       "L. B. Rall",
  title =        "Evaluation of Functions, Gradients, and {J}acobians",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "9",
  pages =        "177--182",
  year =         "2003",
}


@Article{Ratschan02,
  author =       "S. Ratschan",
  title =        "Approximate Quantified Constraint Solving by
                  Cylindrical Box Decomposition",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "8",
  pages =        "21--42",
  year =         "2002",
}

@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{Ratschek00,
  author =       "H. Ratschek and J. G. Rokne",
  title =        "Introduction to the Special Issue: What Can
                  One Learn from Box-Plane Intersections?",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "6",
  pages =        "1--8",
  year =         "2000",
}

@Article{Revol00,
  author =       "N. Revol and J.-C. Yakoubsohn ",
  title =        "Accelerated Shift-and-Add Algorithms",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "6",
  pages =        "193--205",
  year =         "2000",
}

@Article{Revol05,
  author =       "N. Revol and F. Rouillier",
  title =        "Motivations for an Arbitrary Precision Interval
                  Arithmetic and the MPFI Library",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "11",
  pages =        "275--290",
  year =         "2005",
}

@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{Rohn97,
  author =       "J. Rohn",
  title =        "Complexity of Some Linear Problems
                  with Interval Data",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "315--323",
  year =         "1997",
}

@Article{Rohn97,
  author =       "J. Rohn",
  title =        "On Overestimations Produced by the Interval
                  Gaussian Algorithm (Dedicated to
                  {P}rof. {D}r. {G}erhard {H}eindl on the occasion
                  of his 60th birthday)",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "3",
  pages =        "363--368",
  year =         "1997",
}

@Article{Rohn05,
  author =       "J. Rohn",
  title =        "A Normal Form Supplement to the
                  Oettli-Prager Theorem",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "11",
  pages =        "35--39",
  year =         "2005",
}

@Article{Rohn05,
  author =       "J. Rohn",
  title =        "Linear Interval Equations: Midpoint
                  Preconditioning May Produce a 100% Overestimation
                  for Arbitrarily Narrow Data Even in Case n=4",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "11",
  pages =        "129--135",
  year =         "2005",
}

@Article{Rohn05,
  author =       "J. Rohn",
  title =        "How Strong Is Strong Regularity?",
  journal =      "Reliable Computing",
  number =       "6",
  volume =       "11",
  pages =        "491--493",
  year =         "2005",
}

@Article{Rohn06,
  author =       "J. Rohn",
  title =        "Regularity of Interval Matrices and Theorems of
                  the Alternatives",
  journal =      "Reliable Computing",
  number =       "2",
  volume =       "12",
  pages =        "99--105",
  year =         "2006",
}

@Article{Rueher97,
  author =       "M. Rueher and C. Solnon",
  title =        "Concurent Cooperating Solvers on the Reals",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "3",
  pages =        "325--333",
  year =         "1997",
}

@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{Rump92,
  author =       "S. M. Rump",
  title =        "Inclusion of Zeros of Nowhere Differentiable
                  {n}-Dimensional Functions",
  journal =      "Reliable Computing",
  number =       "1",
  volume =       "3",
  pages =        "5--16",
  year =         "1992",
}

@Article{Rump98,
  author =       "S. M. Rump",
  title =        "A Note on Epsilon-Inflation",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "4",
  pages =        "371--375",
  year =         "1998",
}

@Article{Sainz02,
  author =       "M. A. Sainz and E. Gardenyes and L. Jorba",
  title =        "Formal Solution to Systems of Interval Linear
                  or Non-Linear Equations",
  journal =      "Reliable Computing",
  number =       "3",
  volume =       "8",
  pages =        "189--211",
  year =         "2002",
}

@Article{Sainz02,
  author =       "M. A. Sainz and E. Gardenyes and L. Jorba",
  title =        "Interval Estimations of Solution Sets to
                  Real-Valued Systems of Linear
                  or Non-Linear Equations",
  journal =      "Reliable Computing",
  number =       "4",
  volume =       "8",
  pages =        "283--305",
  year =         "2002",
}

@Article{Sakurai00,
  author =       "T. Sakurai and