Symbolic Algebraic Methods and Verification Methods 2001
Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto (Eds.):
Symbolic Algebraic Methods and Verification Methods.
Springer 2001, ISBN 3-211-83593-8 
- Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto:
Introduction: Symbolic Algebraic Methods and Verification Methods.
1-2
- Rudolf F. Albrecht:
Topological Concepts for Hierarchies of variables, Types and Controls.
3-10
- Götz Alefeld, Vladik Kreinovich, Günter Mayer:
Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem.
11-20
- Robert M. Corless:
Symbolic-Numeric Algorithms for Polynomials: Some recent Results.
21-33
- Annie A. M. Cuyt:
Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear Algebra.
35-54
- Thomas Decker, Werner Krandick:
On the Isoefficiency of the Parallel Descartes Method.
55-67
- Ioannis Z. Emiris:
Matrix Methods for Solving Algebraic Systems.
69-78
- Andreas Frommer:
A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure.
79-86
- Jürgen Garloff, Andrew P. Smith:
Solution of Systems of Polynomial Equation by Using Bernstein Expansion.
87-97
- David M. Gay:
Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming.
99-106
- Reinhold Heckmann:
Translation of Taylor Series into LFT Expansions.
107-116
- Christian Jansson:
Quasi Convex-Concave Extension.
117-127
- Deepak Kapur:
Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic.
129-144
- Bruno Lang:
Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature.
145-152
- Günter Mayer, I. Warnke:
On the Shape of the Fixed Points of [f]([c])=[A][x]+[b].
153-162
- Kurt Mehlhorn, Stefan Schirra:
Exact Computation with leda_real - Theory and geometric Applications.
163-172
- Teruya Minamoto:
Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations.
173-181
- Markus Neher:
Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs.
183-193
- Michael Plum:
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems.
195-207
- Siegfried M. Rump:
Fast Verification Algorithms in MATLAB.
209-226
- Uwe Schäfer:
The Linear Complementarity Problem with Interval Data.
227-234
- Stepan Shakhno:
Some Numerical Methods for Nonlinear Least Squares Problems.
235-243
- Tetsuro Yamamoto:
A New Insight of the Shortley-Weller Approximation for Dirichlet Problems.
245-253
- Jens-Peter M. Zemke:
How Orthogonality is Lost in Krylov Methods.
255-266
Last update Thu May 17 01:38:18 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
