Symbolic algebraic methods and verification methods
The articles of this volume will be reviewed individually. Indexed articles: \textit{Albrecht, Rudolf F.}, Topological concepts for hierarchies of variables, types and controls, 3-10 [Zbl 0987.65046] \textit{Alefeld, G.; Kreinovich, V.; Mayer, G.}, Modifications of the Oettli-Prager theorem with application to the eigenvalue problem, 11-20 [Zbl 0987.65034] \textit{Corless, Robert M.}, Symbolic-numerical algorithms for polynomials: Some recent results, 21-33 [Zbl 0985.65051] \textit{Cuyt, Annie}, Symbolic-numeric QD-algorithms with applications in function theory and linear algebra, 35-54 [Zbl 0986.65018] \textit{Decker, Thomas; Krandick, Werner}, Isoefficiency and the parallel Descartes method, 55-67 [Zbl 1015.68238] \textit{Emiris, Ioannis Z.}, Matrix methods for solving algebraic systems, 69-78 [Zbl 0983.65064] \textit{Frommer, Andreas}, A feasibility result for interval Gaussian elimination relying on graph structure, 79-86 [Zbl 0984.65020] \textit{Garloff, Jürgen; Smith, Andrew P.}, Solution of systems of polynomial equations by using Bernstein expansion, 87-97 [Zbl 0987.65043] \textit{Gay, David M.}, Symbolic-algebraic computations in a modeling language for mathematical programming, 99-106 [Zbl 0978.68138] \textit{Heckmann, Reinhold}, Translation of Taylor series into LFT expansions, 107-116 [Zbl 0980.68002] \textit{Jansson, Christian}, Quasi convex-concave extensions, 117-127 [Zbl 0987.65039] \textit{Kapur, Deepak}, Rewriting, induction and decision procedures: A case study of Presburger arithmetic, 129-144 [Zbl 0980.68061] \textit{Lang, B.}, Derivative-based subdivision in multi-dimensional verified Gaussian quadrature, 145-152 [Zbl 0982.65030] \textit{Mayer, G.; Warnke, I.}, On the shape of the fixed points of \([f]([x])=[A][x]+[b]\), 153-162 [Zbl 0987.65033] \textit{Mehlhorn, Kurt; Schirra, Stefan}, Exact computation with \texttt{leda\(\_\)real} -- theory and geometric applications, 163-172 [Zbl 0978.68010] \textit{Minamoto, Teruya}, Numerical verification method for solutions of nonlinear hyperbolic equations, 173-181 [Zbl 0988.65090] \textit{Neher, Markus}, Geometric series bounds for the local errors of Taylor methods for linear \(n\)-th order ODEs, 183-193 [Zbl 0987.65064] \textit{Plum, Michael}, Safe numerical error bounds for solutions of nonlinear elliptic boundary value problems, 195-207 [Zbl 0984.65109] \textit{Rump, Siegfried M.}, Fast verification algorithms in Matlab, 209-226 [Zbl 0987.65037] \textit{Schäfer, Uwe}, The linear complementarity problem with interval data, 227-234 [Zbl 0988.65045] \textit{Shakhno, Stepan}, Some numerical methods for nonlinear least squares problems, 235-249 [Zbl 0984.65056] \textit{Yamamoto, Tetsuro}, A new insight of the Shortley-Weller approximation for Dirichlet problems, 245-253 [Zbl 0991.65523] \textit{Zemke, Jens-Peter M.}, How orthogonality is lost in Krylov methods, 255-266 [Zbl 0983.65049]
- scientific article; zbMATH DE number 5917352
- scientific article; zbMATH DE number 524110
- Methodologies of Symbolic Computation
- Generation and verfication of algorithms for symbolic-numeric processing
- scientific article; zbMATH DE number 1140679
- Symbolic verification of hybrid systems: an algebraic approach
- Abstract specification of structures and methods in symbolic mathematical computation
This page was built for publication: Symbolic algebraic methods and verification methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2718897)
