中文版 | English

在结果中检索

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

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

限定条件        
已选(0)清除 条数/页：   排序方式：
RITT-WU'S CHARACTERISTIC SET METHOD FOR ORDINARY DIFFERENCE POLYNOMIAL SYSTEMS WITH ARBITRARY ORDERING 期刊论文
ACTA MATHEMATICA SCIENTIA, 2009, 卷号: 29, 期号: 4, 页码: 1063-1080
作者:  Gao Xiaoshan;  Yuan Chunming;  Zhang Guilin
收藏  |  浏览/下载：83/0  |  提交时间：2018/07/30
difference polynomial  ascending chain  characteristic set  Ritt-Wu's zero  decomposition theorem  
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  
A characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2008, 卷号: 21, 期号: 2, 页码: 191-208
作者:  Chai, Fengjuan;  Gao, Xiao-Shan;  Yuan, Chunming
收藏  |  浏览/下载：108/0  |  提交时间：2018/07/30
Boolean equation  characteristic set method  cryptanalysis  finite field  stream ciphers  
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  
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
收藏  |  浏览/下载：98/0  |  提交时间：2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation  
Computation of the probability on the number of solution for the P3P problem 期刊论文
INTELLIGENT COMPUTING IN SIGNAL PROCESSING AND PATTERN RECOGNITION, 2006, 卷号: 345, 页码: 191-200
作者:  Tang, Jianliang;  Gao, Xiao-Shan;  Chen, Wensheng
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30