中文版 | English

在结果中检索

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

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

限定条件        
已选(0)清除 条数/页：   排序方式：
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 2, 页码: 464-483
作者:  Zhu Wei;  Gao Xiao-Shan
收藏  |  浏览/下载：96/0  |  提交时间：2018/07/30
Differential polynomial system  regular triangular set  saturated triangular set  triangular decomposition  
atriangulardecompositionalgorithmfordifferentialpolynomialsystemswithelementarycomputationcomplexity 期刊论文
journalofsystemsscienceandcomplexity, 2017, 卷号: 30, 期号: 2, 页码: 464
作者:  Zhu Wei;  Gao Xiaoshan
收藏  |  浏览/下载：103/0  |  提交时间：2020/01/10
multiplicitypreservingtriangularsetdecompositionoftwopolynomials 期刊论文
journalofsystemsscienceandcomplexity, 2014, 卷号: 27, 期号: 6, 页码: 1320
作者:  Cheng Jinsan;  Gao Xiaoshan
收藏  |  浏览/下载：119/0  |  提交时间：2020/01/10
onfunctionaldecompositionofmultivariatepolynomialswithdifferentiationandhomogenization 期刊论文
journalofsystemsscienceandcomplexity, 2012, 卷号: 025, 期号: 002, 页码: 329
作者:  Zhao Shangwei;  Feng Ruyong;  Gao Xiaoshan
收藏  |  浏览/下载：113/0  |  提交时间：2020/01/10
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：66/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
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
收藏  |  浏览/下载：90/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
收藏  |  浏览/下载：103/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
收藏  |  浏览/下载：115/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
收藏  |  浏览/下载：112/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
收藏  |  浏览/下载：87/0  |  提交时间：2018/07/30
geometric constraint solving  under-constrained completion  decomposition