构造相应于有限维非退化可解李代数的顶点代数

设g是带有非退化不变对称双线性型的有限维可解李代数，该文首先应用g的仿射李代数g的表示理论，构造出一类水平为l的限制g-模Vg（l，0）．然后应用顶点算子的局部理论在hom（Vg（l，0），Vg（l，0）（（x）））中找到一类顶点代数Lvg（l，0）．建立了LVg（l，0）到Vg（l，0）的映射，最后证明了这类映射是顶点代数同构．     

一类退化中立型微分系统的周期解

该文考虑一类退化中立型微分系统，利用不动点定理，得到了这类系统周期解存在的充分条件．     

QUADRILATERAL MESH

IntroductionQuadrilateral mesh Is widely used In the finite eleme     

退化时滞差分系统的通解

讨论具有时滞的退化差分系统，给出其初始函数的相容性条件，并给出其通解，最后举例说明之．     

退化中立型微分系统的常数变易公式和通解

本文讨论退化中立型微分系统，将其分成三组系统，定义两种与其相应的基础解，并分别将其通解求出。从而给出退化中立型微分系统的通解以及常数变易公式，最终得出通解的明确表示，完全推广了常微分方程和时滞微分方程的基本理论。     

在Radon测度给定的一类退化椭圆型方程

此文研究一类在Ｒａｄｏｎ测度给定下二阶退化拟线性椭圆型方程，通过引入逼近子问题列并求解、先验估计和收敛性研究，证明了该方程广义解在带权Ｓｏｂｏｌｅｖ空间的存在性。     

一类退化椭圆型方程边值问题的适定性

研究一类特殊退化椭圆型方程边值问题的适定性,该类问题与双曲空间中的极小图的Dirichlet问题,曲面的无穷小等距形变刚性问题等等的研究密切相关,而这类方程的特征形式在区域上是变号的,其适定性是值得深入讨论的.最后,得到这类边值问题的H~1弱解的存在性和唯一性.     

不用特殊转轴的既约梯度方法

无论是Wolfe既约梯度法,还是Zangwill凸单纯形法,在不使用越-韩转轴或类似的转轴运算时,都没得到过令人满意的收敛定理.事实上,那样的收敛定理总是在此非退化假设强很多的不太现实的条件下证得的.本文提出一个新的方法,它介于既约梯度法与凸单纯形法之间.有趣的是,无需特殊的转轴运算,在非退化假设下,我们就     

基于多项式组主项解耦消元法的几何定理机器证明

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 .由于多项式主系数不含变元 ,已不存在 DTS多项式之间的约化问题 ,故方法有普遍意义 .文中例为西姆松定理的机器证明 .