图书介绍

非线性代数方程组与定理机器证明2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

杨路等著（华东师范大学软件学院）著
出版社：上海：上海科技教育出版社
ISBN：754281379X
出版时间：1996
标注页数：203页
文件大小：5MB
文件页数：223页
主题词：

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：903841f188c5ef53aec980d2b2db5301

下载说明

非线性代数方程组与定理机器证明PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章导论1

1　代数方程1

2　结构与计算3

3　计算机与数学5

4　定理机器证明6

5　非线性代数方程组8

6　计算机代数10

第2章消去法基础14

7　除法与整相关性15

8　除法的显式表示18

9　辗转相除法20

10　结式消去法23

11　联合消去法26

12　结式的某些性质29

13　用低阶行列式表示的结式31

14　方程组与消去法35

第3章三角型方程组39

15　一个例子40

16　互素性43

17　整相关性45

18　整相关性定理的证明48

19　相关性50

20　应用相关性判准的几个实例53

21　相对单纯分解57

22　相对分解算法61

23　相对单纯分解的一个实例64

24　非退化条件68

25　解的结构74

第4章一般多项式方程组78

26　一个例子79

27　基本概念81

28 迪克逊导出方程组86

29　一般情形的迪克逊结式90

30 式解93

31　聚筛法95

32　聚筛法一例：WRSOLVE100

33　麦考莱商103

§34　麦考莱商的例108

35　矩阵广义特征值方法112

36　伯恩斯坦定理114

37　多元结式的一些性质116

第5章机器证明的例证法118

38　概述118

39　起点120

40　推广122

41　几何命题的代数化125

42　构造性几何命题127

43　实例的选取和检验129

44　例子132

45 通用程序的运行实例135

第6章多项式方程的判别系统137

46　多项式的重根138

47　实根个数的经典判定法141

48　多项式的判别矩阵144

49　两个判别矩阵的关系149

50　判别矩阵与斯图姆组的关系153

51　参系数多项式实根个数的显式判定160

52　例子166

53　六次多项式根的分类170

54　稳定多项式176

附录A　用MAPLE实现的WR程序180

附录B　用MAPLE实现的GPS程序184

附录C　用MAPLE实现的WRSOLVE程序186

索引195

科学家中外译名对照表197

参考文献198