关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

试用Wierstrass定理证明闭区间连续函数的性质

应用Ｗｅｉｅｒｓｔｒａｓｓ定理证明闭区间上连续函数的四个性质。     

多元函数Taylor公式中间值θ的渐近性

本文给出了多元函数Taylor公式中间值θ的渐近性,即当区间长度趋于零时,中间值θ的极限位置。     

数理经济学中的微分拓扑方法

本文简要地介绍了数理经济学中的微分拓扑方法。在给出交换经济模型并提出均衡理论所讨论的基本问题后,列举了微分拓扑学中关于正则值、度数、向量场零点指数的若于最重要的结果、然后用它们来处理诸如均衡价格的存在性、局部唯一性、均衡价格关于经济参数的依赖性等问题。最后从一般性观点证明:具有这些良好性态的所谓正则经济是“典型的”,几乎所加经济都是正则的。     

多值压缩映象对的一个不动点定理

本文得到一致凸 Banach 空间中多值非线性压缩映象的一个不动点定理,从而推广了中主要结论.     

L-Fuzzy拓扑空间中Os-连通性的樊畿定理

在文献^[1]（张杰，王秀英。L－Fuzzy拓扑空间的Os－连通性[J]。模糊系统与数学，2001（1）：21－24）。的基础上，借助分子的邻域，给出Os-连通性的樊畿定理。     

极值类型定理的推广

把极值类型定理中的ｎ次方进一步推广成Ｕ（ｎ）次方，其中Ｕ（ｎ）是正则变化函数，它的指数大于零；同时通过一定的限制，得到相依序列随机样本的极值。     

对换超格上的约当定理

在超格的闭集合和超格的正则性的基础上,给出了对换超格上的约当定理,并研究了一些相关的性质。     

Eisenstein定理的推广

利用G.Dumas方法给出了Eisenstein定理的两个推广形式.     

巴斯卡定理的应用与推广

在文献（1）中，对射影几何中最重要的定理之一巴斯卡定理及其对偶定理作了介绍。此文给出了这两个定理三方面的应用，并在圆锥（二次）曲线束的概念下对巴斯卡定理作了推广。