Walter Kramer

Scientific Computing, Validated Numerics, Interval Methods Walter Kramer Softcover Reprint of the Original 1st Ed. 2001 edition

Marc Notes: Originally published: New York; London: Kluwer Academic/Plenum, 2001.; Includes index.; The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling. Table of Contents: 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 aControlled 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."Publisher Marketing: The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling.