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

序言 高小山 李文林 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