عنوان

Scientific computing, validated numerics, interval methods

شابک

144193376X

شابک

9781441933768

شماره

b548147

عنوان اصلي

Scientific computing, validated numerics, interval methods

نام عام مواد

[Book]

نام نخستين پديدآور

edited by Walter Kramer and Jurgen Wolff von Gudenberg.

محل نشرو پخش و غیره

New York ; London

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

2011

نام خاص و کميت اثر

1 volume ; 26 cm

متن يادداشت

Originally published: New York; London: Kluwer Academic/Plenum, 2001.;Includes index.

متن يادداشت

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.

موضوع مستند نشده

Mathematical models -- Congresses.

موضوع مستند نشده

Mathematical models.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by Walter Kramer and Jurgen Wolff von Gudenberg.

مستند نام اشخاص تاييد نشده

J Wolff von Gudenberg

مستند نام اشخاص تاييد نشده

Walter Krämer

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y