中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Computation of differential Chow forms for ordinary prime differential ideals 期刊论文
ADVANCES IN APPLIED MATHEMATICS, 2016, 卷号: 72, 页码: 77-112
作者:  Li, Wei;  Li, Ying-Hong
收藏  |  浏览/下载：147/0  |  提交时间：2018/07/30
Differential Chow form  Jacobi bound  Characteristic set  Single exponential algorithm  
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
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
Characteristic set  difference prime ideal  irreducibility  strong irreducibility  
Characteristic set method for differential-difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 9, 页码: 1137-1163
作者:  Gao, X. S.;  Van der Hoeven, J.;  Yuan, C. M.;  Zhang, G. L.
收藏  |  浏览/下载：131/0  |  提交时间：2018/07/30
Characteristic set  Differential and difference polynomial  Regular ascending chain  Irreducible ascending chain  Zero decomposition algorithm  Perfect ideal membership problem  
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
收藏  |  浏览/下载：113/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
收藏  |  浏览/下载：127/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving  
Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774
作者:  Feng RuYong;  Yu JianPing
收藏  |  浏览/下载：146/0  |  提交时间：2018/07/30
mechanical theorem proving  Wu-Ritt's characteristic set method  local theory of surface  Wronskian determinant  
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
收藏  |  浏览/下载：142/0  |  提交时间：2018/07/30
Boolean equation  characteristic set method  cryptanalysis  finite field  stream ciphers  
Implicitization of rational curves and polynomial surfaces 期刊论文
BULLETIN OF THE KOREAN MATHEMATICAL SOCIETY, 2007, 卷号: 44, 期号: 1, 页码: 13-29
作者:  Yu, Jian-ping;  Sun, Yong-li
收藏  |  浏览/下载：155/0  |  提交时间：2018/07/30
implicitization  rational curve  polynomial surface  implicit curve(surface)  Grobner bases  characteristic set  
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
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
characteristic set method  automated reasoning  first order theory  difference equation  
Involutive characteristic sets of algebraic partial differential equation systems 期刊论文
SCIENCE IN CHINA SERIES A-MATHEMATICS, 2003, 卷号: 46, 期号: 4, 页码: 469-487
作者:  Chen, YF;  Gao, XS
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
involutive characteristic set  integrability conditions  algebraic partial differential equation system  Wu-Ritt's characteristic set method