最短路问题的通用算法--最短初等链法

最短初等链法是求解网络图最短路问题的通用算法，它突破了以往诸算法的局限性，适用范围广，具有广阔应用前景。     

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

E^n中稳定极小超曲面

局部证明了Ｙａｕ‘ｓ ｃｏｎｊｅｃｔｕｒｅ。获得如下定理：Ｍ为Ｅ＾ｎ中稳定极小超曲面且局部紧的，则Ｍ为超平面。     

广义Kac-Moody代数虚根与权的注记

本文中符号均同文献[1],并记P_ ~0 ={λ∈P_ |〈λ,α_i~v〉≥O,(?)α_i∈∏~(im)}.可以证明,当GKM代数g(A)不必可对称化时,文献[2]中的结果亦成立,即有引理 设(?)∈P_ ~0,则(a)任一λ∈P(?)都关于(?)非退化;(b)对任意α_i∈∏~(im)及λ∈P(?),当〈λ,α_i~v〉=0时,过λ的α_i权链中只含λ一个元;当〈λ,α_i~v〉>0时,过λ的α_i权链形如 …,λ-α_i,λ,…,λ qα_i(q∈Z_ );(c)P(?)=W|λ∈P_ ~0|λ关于(?)非退化}.定理1 设(?)∈P_ ~0,则P(?)(?)((?) Q)∩C_0(W(?)).     

关于余作用交叉积的顺从性

设δ为局部紧群G在C*代数A上的余作用，证明了对任一C*代数B有一G在AB上的余作用δ使得（A×δG）B≈（AB）×δG，因此得到若A顺从，则A×δG顺从．     

一类CSL代数的插值问题

设Ｌ为Ｈｉｂｅｒｔ空产是Ｈ中的子空间格。给定Ｘ，Ｙ∈Ｂ（Ｘ），何时必有算子Ａ∈ａｌｇＬ，使得ＡＸ＝Ｙ？本文在一类ＣＳＬ代数中讨论该问题。本文推广了「５」和「７」中的一些结果，并有新的结论。     

关于《半单Hopf代数》中某些定理的讨论

指出了R.G．Larson和D.E.Radford等人之文《半单Hoof代数》中定理2．9和定理2．11的证明中的一些错误，并给出了正确的证明