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

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

限定条件        
已选(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  
atriangulardecompositionalgorithmfordifferentialpolynomialsystemswithelementarycomputationcomplexity 期刊论文
journalofsystemsscienceandcomplexity, 2017, 卷号: 30, 期号: 2, 页码: 464
作者:  Zhu Wei;  Gao Xiaoshan
收藏  |  浏览/下载:94/0  |  提交时间:2020/01/10
solvingbooleanequationsystemsandapplicationsincryptanalysis 期刊论文
sciencechinainformationsciences, 2016, 卷号: 59, 期号: 5, 页码: 2
作者:  Gao Xiaoshan;  Huang Zhenyu
收藏  |  浏览/下载:99/0  |  提交时间:2020/01/10