CSpace
(本次检索基于用户作品认领结果)

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

限定条件        
已选(0)清除 条数/页:   排序方式:
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x] 期刊论文
THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 755, 页码: 89-109
作者:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan
收藏  |  浏览/下载:162/0  |  提交时间:2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module  
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
收藏  |  浏览/下载:88/0  |  提交时间:2018/07/30
Differential polynomial system  regular triangular set  saturated triangular set  triangular decomposition  
Preface - Special Issue to Celebrate the 30th Anniversary of Journal of Systems Science and Complexity 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 1, 页码: 1-3
作者:  Gao Xiao-Shan;  Chen Jie;  Shao Jun;  Wang Shouyang
收藏  |  浏览/下载:100/0  |  提交时间:2018/07/30
Toric Difference Variety 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 1, 页码: 173-195
作者:  Gao Xiao-Shan;  Huang Zhang;  Wang Jie;  Yuan Chun-Ming
收藏  |  浏览/下载:107/0  |  提交时间:2018/07/30
Affine N[x]-semimodule  difference torus  T-orbit  toirc difference ideal  toric difference variety  Z[x]-lattice.  
atriangulardecompositionalgorithmfordifferentialpolynomialsystemswithelementarycomputationcomplexity 期刊论文
journalofsystemsscienceandcomplexity, 2017, 卷号: 30, 期号: 2, 页码: 464
作者:  Zhu Wei;  Gao Xiaoshan
收藏  |  浏览/下载:94/0  |  提交时间:2020/01/10
prefacespecialissuetocelebratethe30thanniversaryofjournalofsystemsscienceandcomplexity 期刊论文
journalofsystemsscienceandcomplexity, 2017, 卷号: 30, 期号: 1, 页码: 1
作者:  Gao Xiaoshan;  Chen Jie;  Shao Jun;  Wang Shouyang
收藏  |  浏览/下载:125/0  |  提交时间:2020/01/10
solvingbooleanequationsystemsandapplicationsincryptanalysis 期刊论文
sciencechinainformationsciences, 2016, 卷号: 59, 期号: 5, 页码: 2
作者:  Gao Xiaoshan;  Huang Zhenyu
收藏  |  浏览/下载:99/0  |  提交时间:2020/01/10
multiplicitypreservingtriangularsetdecompositionoftwopolynomials 期刊论文
journalofsystemsscienceandcomplexity, 2014, 卷号: 27, 期号: 6, 页码: 1320
作者:  Cheng Jinsan;  Gao Xiaoshan
收藏  |  浏览/下载:114/0  |  提交时间:2020/01/10
Proper reparametrization for inherently improper unirational varieties 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2011, 卷号: 24, 期号: 2, 页码: 367-380
作者:  Shen, Liyong;  Chionh, Engwee;  Gao, Xiao-Shan;  Li, Jia
收藏  |  浏览/下载:107/0  |  提交时间:2018/07/30
BKK bound  chow form  improper lattice supports  improper rational parametrizations  reparametrization  support transformation  
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
收藏  |  浏览/下载:102/0  |  提交时间:2018/07/30
Characteristic set  difference prime ideal  irreducibility  strong irreducibility