Interval Mathematics 1985: Proceedings of the International Symposium Freiburg i.Br., Federal Republic of Germany, September 23-26, 1985: Lecture Notes in Computer Science, cartea 212

Interpolation of an interval-valued function for arbitrarily distributed nodes.- Acceptable solutions of linear interval integral equations.- Maximization of multivariable functions using interval analysis.- Modal intervals : Reason and ground semantics.- Convergent bounds for the range of multivariate polynomials.- On an interval computational method for finding the reachable set in time-optimal control problems.- On the optimality of inclusion algorithms.- Interval operators and fixed intervals.- Arbitrary accuracy with variable precision arithmetic.- An interval method for systems of ode.- Linear interval equations.- How to fight the wrapping effect.- Arithmetic of circular rings.- Improved interval bounds for ranges of functions.- Inner solutions of linear interval systems.- Embedding theorems for cones and applications to classes of convex sets occurring in interval mathematics.- Interval test and existence theorem.- Technical calculations by means of interval mathematics.- Generalized theory and some specializations of the Region Contraction Algorithm I — Ball operation.