文档介绍：目录
非终性科学丛书出版说明
前言
第工章
31
叠28计算
$3计算机与数学
$4定理机器证明.
$5非线性代数方程组8
$6计算机代数..国
第2章消去法基碳
$7阿法与整相关性
$8除法的星式表3
9援转相踊法....、
$10结式消去法.
11联合清去法
$12结式的棠些性质...
$3用低防行列式表示的结式
$14方程组与清去法r
第8章三角型方程组.
515一个例子。
$16互索性
517整睿关性.
$
19睿英佳
吴的人人
520
21
不22
23
24
525
第4章
26
527
828
月29
530
$31
$32
833
34
535
836
537
第5章
$38
39
840
目红
$42
日43
44
$绅
第6章
应用相关性判惟的几个实例0江
相对单纯分解国训
相对分解算法.....一
非退化条件68
解的结构7
一般多项式方程组....一78
个例子053一70
域本概念个仪
一航情形的迪克逃结式..一90
显式解98
蓁筛法国0395
粟簸法一值WRSOLNE100
麦考莲商....103
麦考荷商的例108
矩阵广义特征值方法..
伯愚探坡定理44
多元结式的一些性质..
机器证明红例证法...一118
起点120
几何命朦的代敷化1125
实例的选取和桂验129
借孙732
多项式方程的判别絮统0137
$46多项式的重根..
$5实棋个数的丢典判定法
$铉多项式的冬林短阵
4
144
$48两个初别矩阵的关系149
$
$
$53六次多项式格的分类...170
854稳定多项式176
附录B用MAPLE实现的GPS程序184
贴录C用MAPLE实现的WRSOIVE程序186
.195
.197
198
Contents
Preface
Chapter1Intredactiom
春1AlgebraieEquations
命2StructuresandComputations
不3ComputerandMathematics
晓4Automated万heoremProsinge6
85NonlinearAlgebraicEquationSets8
Chapter2BasicEliminatiome
命7DivisionandFuilDependencye15
英8ExplicitExpressionforDivision小18
9EucideanAlgorithmforPolynomials20
春10EliminationByResultante23
春11JaintEliminatione26
命12SomePropertiesofResultantr29
录13ResultantsExpressedbyDeterminantswithlower
e
orders
晓14EquationSetandElimination35
Chapter3TriangalarEquationSets39
明15AnExample40
命16RelattvelyPrimewithTriangularSetr43
命17FullDepeadencywithTriangularSetr45
春18ProoftoFullDependencyTheorem48
春19Dependeney50
E
日21
日22
一23
日24
825
Chapter4GeneralPolynemialEquationSets、
一26
多27
一28
木29
$30
一31
不32
明33
31
8385
一36
837
RelativelySimplicialDecompositione57
ARelativelySimplicialDecompositionAlgorithm
61
AnFxampleforRelativelySimplicialDecomposition
e64
StructureofSolotions
AnExample
BasicConcepts
DerivedFquationSetofDixonisr86
e00
DixonResultnrinGieneral心
PxplicitSolutionsr03
Giatheran