Citation: Rf. Albrecht, Topological concepts for hierarchies of variables, types and controls, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 3-10
Citation: G. Alefeld et al., Modifications of the Oettli-Prager theorem with application to the Eigenvalue problem, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 11-20
Citation: Rm. Corless, Symbolic-numeric algorithms for polynomials: some recent results, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 21-33
Citation: A. Cuyt, Symbolic-numeric QD-algorithms with applications in function theory and linear algebra, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 35-54
Citation: T. Decker et W. Krandick, Isoefficiency and the parallel Descartes method, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 55-67
Citation: A. Frommer, A feasibility result for interval Gaussian elimination relying on graph structure, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 79-86
Citation: J. Garloff et Ap. Smith, Solution of systems of polynomial equations by using Bernstein expansion, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 87-97
Citation: Dm. Gay, Symbolic-algebraic computations in a modeling language for mathematical programming, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 99-106
Citation: D. Kapur, Rewriting, induction and decision procedures: A case study of Presburger arithmetic, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 129-144
Citation: B. Lang, Derivative-based subdivision in multi-dimensional verified Gaussian quadrature, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 145-152
Citation: G. Mayer et I. Warnke, On the shape of the fixed points of [f]([x])=[A][x]+[b], SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 153-162
Citation: K. Mehlhorn et S. Schirra, Exact computation with leda_real - Theory and geometric applications, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 163-172
Citation: T. Minamoto, Numerical verification method for solutions of nonlinear hyperbolic equations, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 173-181
Citation: M. Neher, Geometric series bounds for the local errors of Taylor methods for linear n-th order ODEs, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 183-193
Citation: M. Plum, Safe numerical error bounds for solutions of nonlinear elliptic boundary value problems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 195-207
Citation: S. Shakhno, Some numerical methods for nonlinear least squares problems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 235-243
Citation: T. Yamamoto, A new insight of the Shortley-Weller approximation for Dirichlet problems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 245-253