|
" Scientific computing, validated numerics, interval methods "
edited by Walter Kramer and Jurgen Wolff von Gudenberg.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728395
|
| Doc. No
|
:
|
b548147
|
| Main Entry
|
:
|
edited by Walter Kramer and Jurgen Wolff von Gudenberg.
|
| Title & Author
|
:
|
Scientific computing, validated numerics, interval methods\ edited by Walter Kramer and Jurgen Wolff von Gudenberg.
|
| Publication Statement
|
:
|
New York ; London: Springer, 2011
|
| Page. NO
|
:
|
1 volume ; 26 cm
|
| ISBN
|
:
|
144193376X
|
|
|
:
|
: 9781441933768
|
| Notes
|
:
|
Originally published: New York; London: Kluwer Academic/Plenum, 2001.;Includes index.
|
| 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. Hyvoenen. 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. Hoersken, 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.
|
| Subject
|
:
|
Mathematical models -- Congresses.
|
| Subject
|
:
|
Mathematical models.
|
| LC Classification
|
:
|
QA401.E358 2011
|
| Added Entry
|
:
|
J Wolff von Gudenberg
|
|
|
:
|
Walter Krämer
|
| |