Symbolic Algebraic Methods and Verification Methods [Paperback]

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. Sch?fer).- 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).Springer Book AlL