• Produktbild: Validation Numerics
  • Produktbild: Validation Numerics
Band 9 - 11%

Validation Numerics Theory and Applications

Aus der Reihe Computing Supplementa
11% sparen

84,99 € UVP 95,69 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.05.1993

Abbildungen

IX, 291 p. 4 illus.

Herausgeber

R. Albrecht + weitere

Verlag

Springer Wien

Seitenzahl

291

Maße (L/B/H)

24,4/17/1,7 cm

Gewicht

535 g

Sprache

Englisch

ISBN

978-3-211-82451-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.05.1993

Abbildungen

IX, 291 p. 4 illus.

Herausgeber

Verlag

Springer Wien

Seitenzahl

291

Maße (L/B/H)

24,4/17/1,7 cm

Gewicht

535 g

Sprache

Englisch

ISBN

978-3-211-82451-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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: Validation Numerics
  • Produktbild: Validation Numerics
  • On a Unified Concept of Mathematics.- A General Approach to a Class of Single-Step Methods for the Simultaneous Inclusion of Polynomial Zeros.- On Some Properties of an Interval Newton Type Method and its Modification.- Verified Solution of the Integral Equations for the Two-Dimensional Dirichlet and Neumann Problem.- Two-Stage Interval Iterative Methods.- Convergence Acceleration for Some Rootfinding Methods.- A Program for Enclosing Cumulative Binomial Probabilities.- Effective Evaluation of Hausdorff Distances for Finite Unions of Hyperrectangles.- A Verified Computation of Fourier-Representations of Solutions for Functional Equations.- The Cluster Problem in Global Optimization: The Univariate Case.- Developing Expert Systems for Validating Numerics.- Computation of Interval Bounds for Weierstrass’ Elliptic Function ? (z).- Solving Nonlinear Elliptic Problems with Result Verification Using an H-1 Type Residual Iteration.- The Wrapping Effect, Ellipsoid Arithmetic, Stability and Confidence Regions.- Validated Solution of Large Linear Systems.- The Interval Buneman Algorithm for Arbitrary Block Dimension.- On the Existence and the Verified Determination of Homoclinic and Heteroclinic Orbits of the Origin for the Lorenz Equations.- Verification in Computer Algebra Systems.- FORTRAN-XSC. A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing.- Implementation of Accurate Matrix Multiplication on the CM-2.