CSpace
(Note: the search results are based on claimed items)

Browse/Search Results:  1-4 of 4 Help

Filters        
Selected(0)Clear Items/Page:    Sort:
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
Authors:  Zhang, Mingbo;  Gao, Xiao-Shan
Favorite  |  View/Download:31/0  |  Submit date: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
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  
Decomposition of ordinary differential polynomials 期刊论文
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 2008, 卷号: 19, 期号: 1, 页码: 1-25
Authors:  Gao, Xiao-Shan;  Zhang, Mingbo
Favorite  |  View/Download:58/0  |  Submit date: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
Authors:  Zhang, Gui-Fang;  Gao, Xiao-Shan
Favorite  |  View/Download:38/0  |  Submit date:2018/07/30
geometric constraint solving  under-constrained completion  decomposition