ACME 发表于 2025-3-28 15:39:51

http://reply.papertrans.cn/89/8839/883813/883813_41.png

步兵 发表于 2025-3-28 19:34:57

Matrix Methods for Solving Algebraic Systems,ications. This article surveys efficient methods based on the sparse resultant for computing all . solutions of an arbitrary system of . polynomials in . unknowns. In particular, we construct matrix formulae which yield nontrivial multiples of the resultant thus reducing root-finding to the eigendecomposition of a square matrix.

Memorial 发表于 2025-3-29 01:56:15

http://reply.papertrans.cn/89/8839/883813/883813_43.png

一致性 发表于 2025-3-29 05:09:18

http://reply.papertrans.cn/89/8839/883813/883813_44.png

transplantation 发表于 2025-3-29 09:01:14

Derivative-Based Subdivision in Multi-Dimensional Verified Gaussian Quadrature,ify several of these control parameters and, based on experimental data, we try to give advice for choosing suitable parameter values in order to obtain reasonable average performance for a “black-box” quadrature routine.

玉米棒子 发表于 2025-3-29 13:01:23

On the Shape of the Fixed Points of () = + ,thods - particularly when . is a large sparse matrix. Probably the most elementary iterative method can be derived from the socalled Richardson splitting . = . - . of ., where . is the identity matrix and . := . - .. This splitting induces the equivalent fixed point formulation . = . + . of (1) which leads to the iterative method .. = .. + ..

Mnemonics 发表于 2025-3-29 16:01:03

Introduction,The usual “implementation” of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly.

内阁 发表于 2025-3-29 20:12:05

http://reply.papertrans.cn/89/8839/883813/883813_48.png

Expurgate 发表于 2025-3-30 03:26:24

http://reply.papertrans.cn/89/8839/883813/883813_49.png

胶状 发表于 2025-3-30 04:26:42

A Feasibility Result for Interval Gaussian Elimination Relying on Graph Structure,Let . = (..) ∈ ||R.... be an ., i.e. each entry is a compact real interval. ‘Usual’ matrices . ∈ |R.. with real coefficients will be called . in this paper, and a similar notation and terminology is adopted for vectors. Let . ∈ ||R.. be an interval vector. We are interested in computing an interval vector containing the solution set
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Symbolic Algebraic Methods and Verification Methods; Götz Alefeld,Jiří Rohn,Tetsuro Yamamoto Conference proceedings 2001 Springer-Verlag W