Vor Ort
Merkzettel Warenkorb
  • Produktbild: Numerical Software with Result Verification
  • Produktbild: Numerical Software with Result Verification
Band 2991

Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.2004

Abbildungen

IX, 315 p.

Herausgeber

René Alt + weitere

Verlag

Springer Berlin

Seitenzahl

315

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-21260-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.03.2004

Abbildungen

IX, 315 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

315

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

505 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-21260-7

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: Numerical Software with Result Verification
  • Produktbild: Numerical Software with Result Verification
  • Languages.- OOP and Interval Arithmetic – Language Support and Libraries.- C-XSC 2.0 – A C++ Library for Extended Scientific Computing.- Software Systems and Tools.- Libraries, Tools, and Interactive Systems for Verified Computations Four Case Studies.- Multiple Precision Interval Packages: Comparing Different Approaches.- Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic.- New Verification Techniques Based on Interval Arithmetic.- Nonlinear Parameter and State Estimation for Cooperative Systems in a Bounded-Error Context.- Guaranteed Numerical Computation as an Alternative to Computer Algebra for Testing Models for Identifiability.- Interval Algorithms in Modeling of Multibody Systems.- Reliable Distance and Intersection Computation Using Finite Precision Geometry.- On Singular Interval Systems.- Applications in Science and Engineering.- Result-Verifying Solution of Nonlinear Systems in the Analysis of Chemical Processes.- Verified Numerical Analysis of the Performance of Switching Systems in Telecommunication.- Result Verification for Computational Problems in Geodesy.- Global Optimization in the COCONUT Project.- An Application of Wavelet Theory to Early Breast Cancer.- Novel Approaches to Verification.- Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic.- Novel Approaches to Numerical Software with Result Verification.- Static Analysis-Based Validation of Floating-Point Computations.