格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

覆盖理论手册

覆盖理论是作为构造范畴间的等价关系的通用方法而出现的一种数学理论，它的起源可追溯到1973年前苏联数学家I．N．Bernstein，J．M．Geffand和V．A．Ponomanov的两篇关于有限维代数表示理论的论文。这个理论最初是在有限维代数上的模范畴的研究中发展起来的，     

几何建模与代数几何

几何建模与代数几何的研究对象都由代数方程定义，但两者研究方法和侧重点各不相同，代数几何注重理解对象的理论性质，几何建模着重于实际应用，因此传统上将它们看作互不关联的两个领域。近几年来，出现了两个领域互相影响、互相促进的趋势，例如解决相交问题的算法就得益于代数几何的理论成果。为了推进两个领域研究的交流和合作，欧洲数学界2001-2005期间召开了一系列与此有关的工作会议，本书就是这些学术活动产生的论文汇集，主要论文来自2005年奥斯陆会议，主题是应用近似代数方法建立基于信息应用的几何相交算法。     

BCI—代数的理想和同余

本文首先证明了BCI—代数的理想分解定理,然后研究了BCl—代数的几种同余之间的关系和特征。     

BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

双参数量子代数SUqs（1,1）的表示：正离散序列

本文通过构造双参数量子群ＳＵｑｓ（１，１）生成元的ｑｓ－Ｂｏｓｏｎ实现，给出了ＳＵｑｓ（１，１）的正离散序列表示。     

su(1,1)代数的无限维Schwinger实现

运用su(1,1)代数的无限维Bose和Fermi算符实现,得到对称和反对称无限维矩阵的行列式.