中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
A new functor from D (5)-Mod to E (6)-Mod 期刊论文
ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2016, 卷号: 32, 期号: 8, 页码: 867-892
作者:  Xu, Xiao Ping
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
Simple Lie algebra of type E-6  simple Lie algebra of type D-5  module category  functor  irreducibility  
Generalized projective representations for sl(n+1) 期刊论文
JOURNAL OF ALGEBRA, 2011, 卷号: 328, 期号: 1, 页码: 132-154
作者:  Zhao, Yufeng;  Xu, Xiaoping
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
Special linear Lie algebra  Representation of Lie algebra  Characteristic identities  
A characteristic set method for ordinary difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260
作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
收藏  |  浏览/下载：99/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving  
Automated reasoning and equation solving with the characteristic set method 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2006, 卷号: 21, 期号: 5, 页码: 756-764
作者:  Wu, Wen-Tsun;  Gao, Xiao-Shan
收藏  |  浏览/下载：100/0  |  提交时间：2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation