HOME > Detail View

Detail View

Symbolic algebraic methods and verification methods

Symbolic algebraic methods and verification methods

Material type
단행본
Personal Author
Alefeld, G. , 1941-
Title Statement
Symbolic algebraic methods and verification methods / Goetz Alefeld ... [et al.] (eds.).
Publication, Distribution, etc
Wien ;   New York :   Springer ,   c2001.  
Physical Medium
ix, 266 p. : ill. ; 25 cm.
Series Statement
SpringerMathematics
ISBN
3211835938 (pbk. : alk. paper) 9783211835937 (pbk. : alk. paper)
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Computer arithmetic. Floating-point arithmetic. Numerical calculations -- Verification.
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 B M

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: : Aladin

New Arrivals Books in Related Fields

김효곤 (2022)