---

＜電子ブック＞
Symbolic Algebraic Methods and Verification Methods / edited by Götz Alefeld, Jiri Rohn, Siegfried Rump, Tetsuro Yamamoto

版	1st ed. 2001.
出版者	(Vienna : Springer Vienna : Imprint: Springer)
出版年	2001
本文言語	英語
大きさ	IX, 266 p. 16 illus : online resource
著者標目	Alefeld, Götz editor Rohn, Jiri editor Rump, Siegfried editor Yamamoto, Tetsuro editor SpringerLink (Online service)
件　名	LCSH:Numerical analysis LCSH:Algebra LCSH:Computer science LCSH:Algorithms LCSH:Computer science -- Mathematics  全ての件名で検索 LCSH:Computer arithmetic and logic units FREE:Numerical Analysis FREE:Algebra FREE:Theory of Computation FREE:Algorithms FREE:Symbolic and Algebraic Manipulation FREE:Arithmetic and Logic Structures
一般注記	Topological Concepts for Hierarchies of Variables, Types and Controls -- Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem -- Symbolic-Numeric Algorithms for Polynomials: Some Recent Results -- Symbolic-Numeric QD-Algorithms with Applications in Function Theory and Linear Algebra -- On the Isoefficiency of the Parallel Descartes Method -- Matrix Methods for Solving Algebraic Systems -- A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure -- Solution of Systems of Polynomial Equations by Using Bernstein Expansion -- Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming -- Translation of Taylor Series into LFT Expansions -- Quasi Convex-Concave Extensions -- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic -- Derivative-Based Sub division in Multi-dimensional Verified Gaussian Quadrature -- On the Shape of the Fixed Points of [f]([x]) = [A][x] + [b] -- Exact Computation with leda_real - Theory and Geometrie Applications -- Numerical Verification Method for Solutions of Nonlinear Hyperbolic Equations -- Geometric Series Bounds for the Local Errors of Taylor Methods for Linear n-th-Order ODEs -- Safe Numerical Error Bounds for Solutions of Nonlinear Elliptic Boundary Value Problems -- Fast Verification Algorithms in MATLAB -- The Linear Complementarity Problem with Interval Data -- Some Numerical Methods for Nonlinear Least Squares Problems -- A New Insight of the Shortley-Weller Approximation for Diriehlet Problems -- How Orthogonality is Lost in Krylov Methods HTTP:URL=https://doi.org/10.1007/978-3-7091-6280-4

 類似資料