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