Symbolic Algebraic Methods and Verification Methods
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Vienna

9783211835937, 9783709162804

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How Orthogonality is Lost in Krylov Methods

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_24 ◽

2001 ◽

pp. 255-266

Author(s):

Jens-Peter M. Zemke

Keyword(s):

Download Full-text

A New Insight of the Shortley-Weller Approximation for Dirichlet Problems

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_23 ◽

2001 ◽

pp. 245-253 ◽

Author(s):

Tetsuro Yamamoto

Keyword(s):

Dirichlet Problems

Download Full-text

Topological Concepts for Hierarchies of Variables, Types and Controls

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_2 ◽

2001 ◽

pp. 3-10 ◽

Author(s):

Rudolf F. Albrecht

Download Full-text

Introduction

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_1 ◽

2001 ◽

pp. 1-2

Author(s):

G. Alefeld ◽

J. Rohn ◽

S. M. Rump ◽

T. Yamamoto

Download Full-text

Symbolic-Numeric QD-algorithms with applications in Function theory and Linear algebra

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_5 ◽

2001 ◽

pp. 35-54 ◽

Author(s):

Annie Cuyt

Keyword(s):

Linear Algebra ◽

Function Theory

Download Full-text

Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_3 ◽

2001 ◽

pp. 11-20 ◽

Author(s):

Götz Alefeld ◽

V. Kreinovich ◽

Günter Mayer

Keyword(s):

Eigenvalue Problem

Download Full-text

Some Numerical Methods for Nonlinear Least Squares Problems

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_22 ◽

2001 ◽

pp. 235-243 ◽

Author(s):

Stepan Shakhno

Keyword(s):

Numerical Methods ◽

Least Squares ◽

Nonlinear Least Squares ◽

Least Squares Problems

Download Full-text

Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n-th Order ODEs

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_18 ◽

2001 ◽

pp. 183-193 ◽

Author(s):

Markus Neher

Keyword(s):

Geometric Series ◽

Download Full-text

Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_17 ◽

2001 ◽

pp. 173-181 ◽

Author(s):

Teruya Minamoto

Keyword(s):

Hyperbolic Equations ◽

Numerical Verification ◽

Nonlinear Hyperbolic Equations ◽

Verification Method

Download Full-text

Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic

Symbolic Algebraic Methods and Verification Methods ◽

10.1007/978-3-7091-6280-4_13 ◽

2001 ◽

pp. 129-144 ◽

Author(s):

Deepak Kapur

Keyword(s):

Decision Procedures ◽

Presburger Arithmetic

Download Full-text