CSpace

Browse/Search Results:  1-4 of 4 Help

Selected(0)Clear Items/Page:    Sort:
A new functor from D (5)-Mod to E (6)-Mod 期刊论文
ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2016, 卷号: 32, 期号: 8, 页码: 867-892
Authors:  Xu, Xiao Ping
Favorite  |  View/Download:50/0  |  Submit date: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
Authors:  Zhao, Yufeng;  Xu, Xiaoping
Favorite  |  View/Download:48/0  |  Submit date: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
Authors:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
Favorite  |  View/Download:49/0  |  Submit date: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
Authors:  Wu, Wen-Tsun;  Gao, Xiao-Shan
Favorite  |  View/Download:40/0  |  Submit date:2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation