等式系统相关论文
本论文中,我们主要建立丛代数与G2型量子仿射代数(?)中的素蛇模之间的联系.首先,我们给出了G2型素蛇模的定义,找出了素蛇模的突变序列......
作为一种优化算法,利用伪布尔函数特别适用于解决其变量可以表示成0,1二个数字的优化问题。本文首次提出将“解线性伪布尔不等式系......
提出了重写系统中的显式归纳方法,设计了一个新的归纳定理证明系统,实例表明,显式归纳方法要比无归纳的归纳方法来得简单直观。......
该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中......