数学与数学机械化pdf电子书版本下载

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

数学与数学机械化PDF格式电子书版下载

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

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

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

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

序言 高小山 李文林 1

吴文俊先生在代数拓扑学方面的工作简介 虞言林 胡作玄 3

吴文俊这术贡献的征引和评价（代数拓扑部分） 胡作玄 石赫 10

吴文俊对机械化数学的贡献 高小山 16

古为今用的典范——吴文俊教授的数学史研究 李文林 49

平面性理论与布线自动化 刘彦佩 61

Elimination Theory,Methods,and Practice 王东明 91

A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields 王东明 林东岱 138

Inequality Mechanical Proving 王定康 173

Clifford Algebraic Computing in Artificial Vision 李洪波 184

The Reduced Form of Yand-Mills Equation 石赫 198

全局优化的符号算法与有限核原理 杨路 210

一类无穷维Hamilton系统的机械化 阿拉坦仓 221

3-RPR平面并联机构正解的吴方法 刘惠林 张同庄 丁洪生 231

求解偏微分方程的算术模式 张鸿庆 贾屹峰 243

一类并联机构的正解计算 黄玉珍 付光伟 姜学谦 吴文达 255

Application of Semigroup Algebra for Solving Affine Polynomial System 罗洪勇 杨海圈 266

An Efficient Algorithm for Solving Parameter Bounds of Algebraic and Geometric Inequalities 侯晓荣 田红 夏时洪 279

Minkowski空间的Clifford代数表示 杨海圈 张树功 冯果忱 293

有界格上的拓扑算子 岑嘉评 杨安洲 315

Spinc(4) Geometry 虞言林 325

Note on P-Torsion Subgroup of Homotopy Group 沈信耀 339

Application of Spin Characteristic Classes to Immersion of Manifolds李邦河 347

Quantization of Chern-Simons Theory,Representation of Mapping Class Group and Knot Invariants 胡森 356

Differentiable Structures and Pin+-Cobordism of Non-Orientable 4-Manifolds 方复全 367

信息经济学逆向选择的几何讨论 李志强 王则柯 388

The Thom Transversality and the Degree of Graded Unfoldings 张国滨 398

中国数学史研究的回顾与展望 李迪 407

吴文俊与中国现代对策论（博弈论）的兴起 劳汉生 雷光龙 许康 426

关于中国传统数学的“术” 郭书春 441

无穷级数中的卡塔兰数：明安图的四种几何模型 罗见今 457

实数理论的基础研究 邓明立 杨春宠 477

吴文俊大事记 484

后记 488