Bernoulli数模2r和3r的同余式

设{Bn}为Bernoulli数,m、n为自然数,本文证明了同余式(2-22n)B2n≡1-4n ∑mk=1(2n)/(2k)24kB2k (mod 24m 3)与(3-32n)B2n≡2-6n 2∑mk=1(2n)/(2k)32kB2k (mod 32m 1).取m=1,2,得到[5]中宣布的(2-22n)B2n(mod 27)与(3-32n)B2n(mod 35)的简单同余式.     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

求Ramsey数最优下界值的递归算法

要确定每个具体的Ramsey数的数值是相当困难的,至今人们只求出了为数很少的几个Ramsey数的数值.人们在研究Ramsey数性质的同时,也在估计Ramsey数的数值,得出了某些Ramsey数的下界值,但工作进展缓慢.本文提出了一种计算Ramsey数最优下界值的递归算法,该算法利用当今关于Ramsey数的最新结果,能得出Ramsey数的目前最优下界值.1 算法描述不妨将本算法定名为G,参数个数为1个以上(可变化),算法允许递归调用,其输出值为Ramsey数的目前最优下界值.C(k_1,k_2…,k_n)表示以k_1,k_2…,k_n作为输入,通过算法G所得到的输出结果,即C(k_1,k_2…,k_n)表示的是G算出的Ramsey数N(k_1,k_2,…,k_n;2)的目前最优下界值,其中N(k_1,k_2…,k_n;2)的含意与文献[2]中有关含意相同.算法G:     

关于Euler数的一些恒等式

将欧拉数的形如的累加和的递推关系式更具体。     

关于Fibonacci数列的两点注记

注记给出了Fibonacci数列两个重要公式的组合表达式,以及Fibonacci数与级数有关的两个新结果。     

两向斜放类与三向钢筋混凝土空腹网架的分析方法

本文是在文[1]、[2]、[3]基础上的推广与发展,即用柔度法对正交斜放与三向钢筋混凝土空腹网架进行内力分析。在工程实例申提出一种新的装配整体式钢筋混凝土空腹网架结构,并和五种屋盖的结构形式进行分析比较,证明此类结构将更节约建筑用材和降低工程造价。     

关于树的几个问题

定义了树T的一个全序(《),证明了(《)的一个性质,运用这个性质证明了序数理论中的一些已知结论,使证明大为简化.     

对角度规谐和条件下不存在引力辐射和引力波

证明了在对角度规谐和条件下,在不存在引力辐射和引力波,并对Ｂｏｎｄｉ引力平面波和引以立波进了讨论。     

B值极限鞅差序列的Brunk型大数定律

分别对于取值于p-致光滑空间的极限鞅、概率极限鞅和L1极限鞅的差序列证明了Brunk型大数定律，推广了Woyczynski中关于鞅的相应结论。     

Euler多项式的推广及其应用

我们借助 Apostol T.M.的思想将 Euler数和多项式作了推广 (称之为 Apostol-Euler数和多项式 ) ,得到了 Apostol-Euler数和多项式分别用第二类 Stirling数和 Gauss超几何函数表示的公式 ,最后给出了它们的一些相应的特殊情况和应用