CORRECTED PROOF OF A THEOREM CONCERNING A CONJECTURE OF SINGH

A theorem concerning a conjecture of Singh is formulated in[2].But the argumentin [2] contains a serious gap which is in fact the essential point of the proof.A correct proofis presented here.     

知识发现领域的两大猜想

针对目前知识发现所面临的机遇和挑战,提出了知识发现"逆问题猜想"和知识发现"磁铁效应猜想"。这两个猜想构成相互关联的统一的有机体,本质上是围绕着要解决"海量"这一难题。讨论了猜想研究的基础,实现的可行性以及可能的研究内容。     

关于阶乘的Simmons猜想

设p是奇素数,证明了当p>3时,方程x!=yp+1-y没有正整数解(x,y).     

基于密钥交换中离散对数生成元的研究

从离散对数的生成元的选择问题出发，根据欧拉定理和拉格朗日定理提出加快寻找生成元的简便算法，该算法的重要思想是：如果我们选择安全素数P=2＊Q＋1，则判断集合ZP中的元素是否是生成元的次数达到最少．该算法加快了生成元的寻找速度，节约了计算时间和计算空间．     

寻求素数的新算法

本文给出了寻求素数的一种新算法──平方差筛法．     

关于绝对伪素数的判别与计算

获得了三因子绝对伪素数的判别准则及其计算公式，给出了150个三因子绝对伪素数，从而为Lehmer猜想及G．Giuga猜想的研究创造了条件．     

关于有理系数多项式可约性的一个判别定理

有理系数多项式，或等价地说，整系数多项式的可约性判别是一个较复杂的问题。Ｅｉｓｅｎｓｔｅｉｎ定理只解决了一类多项式的中约性判别方法，本文所给出的定理类似于Ｅｉｓｅｎｓｔｅｉｎ定理，它可解决一些Ｅｉｓｅｎｓｔｅｉｎ定理不适用的多项式的可约性判别问题。dir     

关于素数的一个猜想

对于正整数n，设pn是第n个素数。本文证明了：不等式（√pn-logpn＋1）/（√pn＋1＋logpn）≥（√3-log5）/（√5-log3）对于任何正整数n都成立。     

d、g素拟环的微商

本文把微商理论中著名的Herstein定理扩充到分配生成素near-环上。主要结果是下面的定理：设N是2-担自由的d、g素near-环，d1和d2是N的两个非零微商，I是N的非零理想，d1（I）真包含于I或d2（I）真包含于I，若对任意的x、y∈1 d1(x)d2(y)=d2(y)d1(x)则N必为可换环。     

表大奇数为三个取自算术级数的素数之和

解决了三素数定理推广到素取自算术级数的问题。