Scientific Computing, Validated Numerics, Interval Methods
Editat de Walter Krämer, Jürgen Wolff von Gudenbergen Limba Engleză Hardback – 31 dec 2001
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 977.49 lei 6-8 săpt. | |
Springer Us – dec 2010 | 977.49 lei 6-8 săpt. | |
Hardback (1) | 989.46 lei 6-8 săpt. | |
Springer Us – 31 dec 2001 | 989.46 lei 6-8 săpt. |
Preț: 989.46 lei
Preț vechi: 1236.82 lei
-20% Nou
Puncte Express: 1484
Preț estimativ în valută:
189.34€ • 199.20$ • 156.77£
189.34€ • 199.20$ • 156.77£
Carte tipărită la comandă
Livrare economică 14-28 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780306467066
ISBN-10: 0306467062
Pagini: 398
Ilustrații: X, 398 p.
Dimensiuni: 178 x 254 x 36 mm
Greutate: 1.05 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0306467062
Pagini: 398
Ilustrații: X, 398 p.
Dimensiuni: 178 x 254 x 36 mm
Greutate: 1.05 kg
Ediția:2001
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
SCAN 2000 Keynote Address The Future of Intervals.- I Software- and Hardware-Tools.- Variable-Precision Exponential Evaluation.- Fast computation of some special integrals of mathematical physics.- Interval Input and Output.- A Case for Interval Hardware on Superscalar Processors.- Evaluating the Impact of Accurate Branch Prediction on Interval Software.- Automatic Test Case Generation using Interval Arithmetic.- II Linear Algebra.- On the Hull of the Solution Sets of Interval Linear Equations.- Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates.- Towards Diagrammatic Analysis of Systems of Interval “Linear Equations”.- On the Solution of Parametrised Linear Systems.- III Polynomials.- Verified solutions of systems of nonlinear polynomial equations.- Euler-like method with Weierstrass’ correction.- IV Set Enclosures.- Guaranteed Set Computation with Subpavings.- A New Intersection Algorithm for Parametric Surfaces Based on LIEs.- State estimation using interval constraint propagation.- V Global Optimization.- Interval Methods for Global Optimization Using the Boxing Method.- A Branch-and-Prune Method for Global Optimization.- Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties.- VI Control.- Traditional parameter estimation versus estimation of guaranteed parameter sets.- Stabilizing Control Design of Nonlinear Process Involving Uncertainties.- Set Estimation, Computation of Volumes and Data Safety.- VII ODE and DAE and Applications.- Verified High-Order Integration of DAEs and Higher-order ODEs.- About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and its Applications.- Verified Determination of Singularities in Chemical Processes.- Modeling of Multibody Systems with IntervalArithmetic.- VIII Stochastics and Probability.- On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic.- Global Random Walk Simulations of Diffusion.- Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions.- For reliable and powerful scientific computations.- Reliable representations of strange attractors.- Appendix: The Referees.