| 000 | 01049camuu22003134a 4500 | |
| 001 | 000045517301 | |
| 005 | 20090420151611 | |
| 008 | 001122s2001 au a b 000 0 eng | |
| 010 | ▼a 00067105 | |
| 020 | ▼a 3211835938 (pbk. : alk. paper) | |
| 020 | ▼a 9783211835937 (pbk. : alk. paper) | |
| 035 | ▼a (KERIS)REF000006168688 | |
| 040 | ▼a DLC ▼c DLC ▼d DLC ▼d 211009 | |
| 042 | ▼a pcc | |
| 050 | 0 0 | ▼a QA76.9.M35 ▼b S92 2001 |
| 082 | 0 4 | ▼a 004/.01/512 ▼2 22 |
| 090 | ▼a 004.01512 ▼b S986 | |
| 245 | 0 0 | ▼a Symbolic algebraic methods and verification methods / ▼c Goetz Alefeld ... [et al.] (eds.). |
| 260 | ▼a Wien ; ▼a New York : ▼b Springer , ▼c c2001. | |
| 300 | ▼a ix, 266 p. : ▼b ill. ; ▼c 25 cm. | |
| 490 | 1 | ▼a SpringerMathematics |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Computer arithmetic. |
| 650 | 0 | ▼a Floating-point arithmetic. |
| 650 | 0 | ▼a Numerical calculations ▼x Verification. |
| 700 | 1 | ▼a Alefeld, G. , ▼d 1941- |
| 830 | 0 | ▼a Springer mathematics. |
| 945 | ▼a KINS |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 004.01512 S986 | Accession No. 121183197 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
Introduction (G. Alefeld, J. Rohn, S. Rump, T. Yamamoto).- Topological Concepts for Hierarchies of Variables, Types and Controls (R. Albrecht).- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem (G. Alefeld, V. Kreinovich, G. Mayer).- Symbolic-Numeric Algorithms for Polynomials. Some Recent Results (R. Corless).- Symbolic-Numeric QD-Algorithms with Applications in Function Theory and Linear Algebra (A. Cuyt).- On the Isoefficiency of the Parallel Dscartes Method (Th. Decker, W. Krandick).- Matrix Methods for Solving Algebraic Systems (I. Z. Emiris).- A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure (A. Frommer).- Solution of Systems of Polynomial Equations by Using Bernstein Expansion (J. Garloff, A. P. Smith).- Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming (D. M. Gay).- Translation of Taylor Series into LFT Expansions (R. Heckmann).- Quasi Convex-Concave Extensions (Chr. Jansson).- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic (D. Kapur).- Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature (B. Lang).- On the Shape of the Fixed Points of [f]([x]) = [A][x] [b].- Exact Computation with leda_real - Theory and Geometric Applications (K. Mehlhorn, St. Schirra).- Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations (T. Minamoto).- Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n-th-Order ODEs (M. Neher).- Save Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems (M. Plum).- Fast Verification Algorithms in MATLAB (S. Rump).- The Linear Complementarity Problem with Interval Data (U. Schafer).- Some Numerical Methods for Nonlinear Least Squares Problems (St. Shakhno).- A New Insight of the Shortley-Weller Approximation for Dirichlet Problems (T. Yamamoto).- How Orthogonality is Lost in Krylov Methods (J. Zemke).
Information Provided By: :
