Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Developments in Reliable Computing > Influences of Rounding Errors in Solving Large Sparse Linear Systems
Developments in Reliable Computing |
Tibor Csendes
Springer Netherlands
Developments in Reliable Computing
Influences of Rounding Errors in Solving Large Sparse Linear Systems
Authors

Axel Facius

ARI Id

1664644453520_2546603

Access

Not Available Free

Pages

17-30

DOI

10.1007/978-94-017-1247-7_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-94-017-1247-7_2

Table of Contents of Book
Showing 1 to 20 of 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-viii
Rigorous Global Search: Industrial Applications
George F. Corliss; R. Baker Kearfott
1-16
Influences of Rounding Errors in Solving Large Sparse Linear Systems
Axel Facius
17-30
A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions
Javier Hormigo; Julio Villalba; Emilio L. Zapata
31-41
Towards an optimal control of the wrapping effect
Wolfgang Kühn
43-51
On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic
Anatoly V. Lakeyev
53-65
A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature
Bruno Lang
67-75
INTLAB — INTerval LABoratory
Siegfried M. Rump
77-104
Verified calculation of the solution of algebraic Riccati equation
Wolfram Luther; Werner Otten
105-118
Expression Concepts in Scientific Computing
Michael Lerch
119-130
Performance Evaluation Technique STU and libavi Library
Rafael Sagula; Tiarajú Diverio; João Netto
131-140
Single-Number Interval I/O
Michael Schulte; Vitaly Zelov; G. William Walster; Dmitri Chiriaev
141-148
Interval Analysis for Embedded Systems
Klaus Musch; Günter Schumacher
149-158
Prediction by extrapolation for interval tightening methods
Yahia Lebbah; Olivier Lhomme
159-166
The Contribution of T. Sunaga to Interval Analysis and Reliable Computing
Svetoslav Markov; Kohshi Okumura
167-188
Surface-to-surface intersection with complete and guaranteed results
Ernst Huber; Wilhelm Barth
189-202
An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ℤ2
Vincent Lefèvre
203-212
Comparing Partial Consistencies
Hélène Collavizza; François Delobel; Michel Rueher
213-228
Verified Computation of Fast Decreasing Polynomials
Neli S. Dimitrova; Svetoslav M. Markov
229-240
An Accurate Distance-Calculation Algorithm for Convex Polyhedra
Eva Dyllong; Wolfram Luther; Werner Otten
241-253
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings