Results: 1-23 |

Table of contents of journal:

Results: 23

Authors: Albrecht, RF
Citation: Rf. Albrecht, Topological concepts for hierarchies of variables, types and controls, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 3-10

Authors: Alefeld, G Kreinovich, V Mayer, G
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

Authors: Corless, RM
Citation: Rm. Corless, Symbolic-numeric algorithms for polynomials: some recent results, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 21-33

Authors: Cuyt, A
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

Authors: Decker, T Krandick, W
Citation: T. Decker et W. Krandick, Isoefficiency and the parallel Descartes method, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 55-67

Authors: Emiris, IZ
Citation: Iz. Emiris, Matrix methods for solving algebraic systems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 69-78

Authors: Frommer, A
Citation: A. Frommer, A feasibility result for interval Gaussian elimination relying on graph structure, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 79-86

Authors: Garloff, J Smith, AP
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

Authors: Gay, DM
Citation: Dm. Gay, Symbolic-algebraic computations in a modeling language for mathematical programming, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 99-106

Authors: Heckmann, R
Citation: R. Heckmann, Translation of Taylor series into LFT expansions, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 107-116

Authors: Jansson, C
Citation: C. Jansson, Quasi convex-concave extensions, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 117-127

Authors: Kapur, D
Citation: D. Kapur, Rewriting, induction and decision procedures: A case study of Presburger arithmetic, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 129-144

Authors: Lang, B
Citation: B. Lang, Derivative-based subdivision in multi-dimensional verified Gaussian quadrature, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 145-152

Authors: Mayer, G Warnke, I
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

Authors: Mehlhorn, K Schirra, S
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

Authors: Minamoto, T
Citation: T. Minamoto, Numerical verification method for solutions of nonlinear hyperbolic equations, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 173-181

Authors: Neher, M
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

Authors: Plum, M
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

Authors: Rump, SM
Citation: Sm. Rump, Fast verification algorithms in Matlab, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 209-226

Authors: Schafer, U
Citation: U. Schafer, The linear complementarity problem with interval data, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 227-234

Authors: Shakhno, S
Citation: S. Shakhno, Some numerical methods for nonlinear least squares problems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 235-243

Authors: Yamamoto, T
Citation: T. Yamamoto, A new insight of the Shortley-Weller approximation for Dirichlet problems, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 245-253

Authors: Zemke, JPM
Citation: Jpm. Zemke, How orthogonality is lost in Krylov methods, SYMBOLIC ALGEBRAIC METHODS AND VERIFICATION METHODS, 2001, pp. 255-266
Risultati: 1-23 |