中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Difference indices of quasi-prime difference algebraic systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 87, 页码: 1-13
作者:  Wang, Jie
收藏  |  浏览/下载：134/0  |  提交时间：2018/07/30
Difference index  Order of difference ideal  Hilbert-Levin regularity  Difference ideal membership problem  
A criterion for testing whether a difference ideal is prime 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2009, 卷号: 22, 期号: 4, 页码: 627-635
作者:  Yuan, Chunming;  Gao, Xiao-Shan
收藏  |  浏览/下载：103/0  |  提交时间：2018/07/30
Characteristic set  difference prime ideal  irreducibility  strong irreducibility  
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