Scientific Computing, Validated Numerics, Interval Methods

SCAN 2000 Keynote Address the Future of Intervals; G.W. Walster. Part I: Software- and Hardware-Tools. Variable-Precision Exponential Evaluation; J. Hormigo, et al. Fast computation of some special integrals of mathematical physics; E.A. Karatsuba. Interval Input and Output; E. Hyvonen. A Case for Interval Hardware on Superscalar Processors; J.E. Stine, M.J. Schulte. Evaluating the Impact of Accurate Branch Prediction on Interval Software; A. Akkas, et al. Automatic Test Case Generation Using Interval Arithmetic; G. Schumacher, A. Bantle. Part II: Linear Algebra. On the Hull of the Solution Sets of Interval Linear Equations; J. Konickova. Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates; S. Markov. Towards Diagrammatic Analysis of Systems of Interval 'Linear Equations'; Z. Kulpa. On the Solution of Parametrised Linear Systems; E.D. Popova. Part III: Polynomials. Verified Solutions of Systems of Nonlinear Polynomial Equations; D. Fausten, W. Luther. Euler-like Method for the Simultaneous Inclusion of Polynomial Zeros with Weierstrass' Connection; M.S. Petkovic, D.V. Vranic. Part IV: Set Enclosures. Guaranteed Set Computation with Subpavings; M. Kieffer, et al. A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations; K. Buehler, W. Barth. Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm; L. Jaulin, et al. Part V: Global Optimization. Interval Methods for Global Optimization Using the Box Method; A.E. Csallner, et al. A Branch-and-Prune Method for Global Optimization; D.G. Sotiropoulos, Th.N. Grapsa. Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties; J. Heeks, et al. Part VI: Control. Traditional Parameter Estimation Versus Estimation of Guaranteed Parameter Sets; E.P. Hofer, et al. Stabilizing Control Design of Nonlinear Process Involving Uncertainties; M. Krastanov, N. Dimitrova. Set Estimation, Computation of Volumes and Data Safety; I. Braems, et al. Part VII: ODE and DAE and Applications. Verified High-Order Integration of DAEs and Higher-order ODEs; J. Hoefkens, et al. About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and its Applications; A. Prykarpatsky, et al. Verified Determination of Singularities in Chemical Processes; C.H. Bischof, et al. Modeling of Multibody Systems with Interval Arithmetic; C. Horsken, H. Traczinski. Part VIII: Stochastics and Probability. On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic; R. Alt, S. Markov. Global Random Walk Simulations of Diffusion; C. Vamos, et al. Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions; S. Ferson, et al. For Reliable and Powerful Scientific Computations; F. Jezequel, J.-M. Chesneaux. Reliable Representations of Strange Attractors; D. Michelucci. Appendix: The Referees. Index.