图书介绍
数学与数学机械化PDF|Epub|txt|kindle电子书版本网盘下载
- 林东岱等主编 著
- 出版社： 济南：山东教育出版社
- ISBN：7532833909
- 出版时间：2001
- 标注页数：489页
- 文件大小：12MB
- 文件页数：493页
- 主题词：
PDF下载
下载说明
数学与数学机械化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