Abstract is missing.
- Introduction: Symbolic Algebraic Methods and Verification MethodsGötz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto. 1-2
- Topological Concepts for Hierarchies of variables, Types and ControlsRudolf F. Albrecht. 3-10
- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue ProblemGötz Alefeld, Vladik Kreinovich, Günter Mayer. 11-20
- Symbolic-Numeric Algorithms for Polynomials: Some recent ResultsRobert M. Corless. 21-33
- Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear AlgebraAnnie A. M. Cuyt. 35-54
- On the Isoefficiency of the Parallel Descartes MethodThomas Decker, Werner Krandick. 55-67
- Matrix Methods for Solving Algebraic SystemsIoannis Z. Emiris. 69-78
- A Feasibility Result for Interval Gaussian Elimination Relying on Graph StructureAndreas Frommer. 79-86
- Solution of Systems of Polynomial Equation by Using Bernstein ExpansionJürgen Garloff, Andrew P. Smith. 87-97
- Symbolic-Algebraic Computations in Modeling Language for Mathematical ProgrammingDavid M. Gay. 99-106
- Translation of Taylor Series into LFT ExpansionsReinhold Heckmann. 107-116
- Quasi Convex-Concave ExtensionChristian Jansson. 117-127
- Rewriting, Induction and Decision Procedures: A Case Study of Presburger ArithmeticDeepak Kapur. 129-144
- Derivative-Based Subdivision in Multi-dimensional Verified Gaussian QuadratureBruno Lang. 145-152
- On the Shape of the Fixed Points of [f]([c])=[A][x]+[b]Günter Mayer, I. Warnke. 153-162
- Exact Computation with leda_real - Theory and geometric ApplicationsKurt Mehlhorn, Stefan Schirra. 163-172
- Numerical Verification Method for Solutions of Nonlinear Hyperbolic EquationsTeruya Minamoto. 173-181
- Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEsMarkus Neher. 183-193
- Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value ProblemsMichael Plum. 195-207
- Fast Verification Algorithms in MATLABSiegfried M. Rump. 209-226
- The Linear Complementarity Problem with Interval DataUwe Schäfer. 227-234
- Some Numerical Methods for Nonlinear Least Squares ProblemsStepan Shakhno. 235-243
- A New Insight of the Shortley-Weller Approximation for Dirichlet ProblemsTetsuro Yamamoto. 245-253
- How Orthogonality is Lost in Krylov MethodsJens-Peter M. Zemke. 255-266