default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSymbolic Algebraic Methods and Verification Methods 2001
- Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto:
Symbolic Algebraic Methods and Verification Methods. Springer 2001, ISBN 3-211-83593-8 - Götz Alefeld, Jiri Rohn, Siegfried M. Rump, Tetsuro Yamamoto:
Introduction: Symbolic Algebraic Methods and Verification Methods. 1-2 - Rudolf F. Albrecht:
Topological Concepts for Hierarchies of variables, Types and Controls. 3-10 - Götz Alefeld, Vladik Kreinovich, Günter Mayer:
Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem. 11-20 - Robert M. Corless
:
Symbolic-Numeric Algorithms for Polynomials: Some recent Results. 21-33 - Annie A. M. Cuyt:
Symbolic-Numeric QD-Algorithms with Application in Function Theory and Linear Algebra. 35-54 - Thomas Decker, Werner Krandick:
On the Isoefficiency of the Parallel Descartes Method. 55-67 - Ioannis Z. Emiris:
Matrix Methods for Solving Algebraic Systems. 69-78 - Andreas Frommer:
A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure. 79-86 - Jürgen Garloff, Andrew P. Smith:
Solution of Systems of Polynomial Equation by Using Bernstein Expansion. 87-97 - David M. Gay:
Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming. 99-106 - Reinhold Heckmann:
Translation of Taylor Series into LFT Expansions. 107-116 - Christian Jansson:
Quasi Convex-Concave Extension. 117-127 - Deepak Kapur:
Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic. 129-144 - Bruno Lang:
Derivative-Based Subdivision in Multi-dimensional Verified Gaussian Quadrature. 145-152 - Günter Mayer, Ingo Warnke:
On the Shape of the Fixed Points of [f]([c])=[A][x]+[b]. 153-162 - Kurt Mehlhorn, Stefan Schirra:
Exact Computation with leda_real - Theory and geometric Applications. 163-172 - Teruya Minamoto:
Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations. 173-181 - Markus Neher:
Geometric Series Bounds for the Local errors of Taylor Methods for Linear n-th-Order ODEs. 183-193 - Michael Plum:
Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems. 195-207 - Siegfried M. Rump:
Fast Verification Algorithms in MATLAB. 209-226 - Uwe Schäfer:
The Linear Complementarity Problem with Interval Data. 227-234 - Stepan Shakhno:
Some Numerical Methods for Nonlinear Least Squares Problems. 235-243 - Tetsuro Yamamoto:
A New Insight of the Shortley-Weller Approximation for Dirichlet Problems. 245-253 - Jens-Peter M. Zemke:
How Orthogonality is Lost in Krylov Methods. 255-266
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
