基于素性检验思想的不可约多项式判断

论文将Fermat素性检验的思想运用于不可约多项式的判断,给出了一个对于不可约判断问题的Monte Carlo 算法,分析了该算法的计算复杂度问题,并且给出了次数在200以内的检验结果。     

Y（F4‘）条件与加强形式的停止定理

首次提出了Ｙ（Ｆ４＇）条件，给出了Ｙ（Ｆ４＇）条件的两个等价关系，得到了加强形式的停止定理和强鞅的一个等价关系。     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

3-周期轨道蕴含6831726876986508个85-周期轨道——连续函数中周期轨道数目的下确界

对区间[0,1]上的任一个连续函数f及任m,n≥1,以N(n,f)表示f中的n-周期轨道的数目,令:f是[0,1]上的连续函数且N(m,f)≥1。著名的sarkovskii定理所断言的是:当时N(n,m)≥1。本文则进一步对所有的正整数m及n求出了N(n,m)的准确值的便于计算的分析表达式。     

关于周期环结构的几个定理

本文给出了有关周期环结构的一些结果,而使文献[1]中的所有定理都可以做为本文结果的直接结论。     

系数变号的半线性椭圆方程的正解

本文研究半线性椭圆方程Dirichlet问题-△u=α（x）f(u），x∈Ω， u（x）=0，x∈ЭΩ，正解的存在性，其中Ω为R^n中有界的带光滑边界的区域，α(x)可以变号。     

线性分式规划最优解集的求法

本文使用多面集的表示定理，导出了线性分式规划最优解集的结构，并给出确定全部最优解的计算步骤。     

正项等差数列的不等式

由正项等差数列构成的不等式 ,叫做正项等差数列的不等式 .本文研究这样的一类不等式 .为了叙述简便 ,本文规定 {ａｎ}是公差为ｄ(ｄ >0 )的正项等差数列 ,Ｓｎ 是它的前ｎ项和 ,ｍ ,ｎ ,ｋ都是正整数 .定理 1　 1+ ｍｄｋａ11+ ｍｄｋａ2 ·…· 1+ ｍｄｋａｎ ≥ａｍ + 1ａｍ + 2 ·…·ａｍ +ｎａ1ａ2 ·…·ａｎ1ｋ.(当且仅当ｋ =1时等号成立 )证　由二项式定理得1+ ｍｄｋａｉｋ=1+Ｃ1ｋｍｄｋａｉ +Ｃ2 ｋｍｄｋａｉ2 +… +Ｃｋｋｍｄｋａｉｋ ≥ 1+Ｃ1ｋｍｄｋａｉ =1+ ｍｄａｉ=ａｉ+ｍｄａｉ=ａｍ +ｉａｉ,(当且仅当ｋ =1时取等号 …     

关于中值定理证明中辅助函数的构造

从分析方法入手，获得中值定理证明中的辅助函数。     

Slutsky定理的一个推广

本文应用紧集上的连续函数是一致连续的性质，推广并证明了著名的Slutsky定理。