中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件            
已选(0)清除 条数/页：   排序方式：
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：62/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
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
收藏  |  浏览/下载：97/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving  
Decomposition of ordinary differential polynomials 期刊论文
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2008, 卷号: 19, 期号: 1, 页码: 1-25
作者:  Gao, Xiao-Shan;  Zhang, Mingbo
收藏  |  浏览/下载：108/0  |  提交时间：2018/07/30
decomposition  differential polynomial  pseudo linear differential polynomial  differential degree  
Well-constrained completion and decomposition for under-constrained geometric constraint problems 期刊论文
INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 2006, 卷号: 16, 期号: 5-6, 页码: 461-478
作者:  Zhang, Gui-Fang;  Gao, Xiao-Shan
收藏  |  浏览/下载：81/0  |  提交时间：2018/07/30
geometric constraint solving  under-constrained completion  decomposition