Vor Ort
Merkzettel Warenkorb
Produktbild: Scientific Computing, Validated Numerics, Interval Methods
- 12%

Scientific Computing, Validated Numerics, Interval Methods

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.2001

Abbildungen

X, 398 p.

Herausgeber

Walter Krämer + weitere

Verlag

Springer Us

Seitenzahl

398

Maße (L/B/H)

26/18,3/2,7 cm

Gewicht

969 g

Auflage

2001

Sprache

Englisch

ISBN

978-0-306-46706-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.12.2001

Abbildungen

X, 398 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

398

Maße (L/B/H)

26/18,3/2,7 cm

Gewicht

969 g

Auflage

2001

Sprache

Englisch

ISBN

978-0-306-46706-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Scientific Computing, Validated Numerics, Interval Methods
  • 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.