CSpace

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

限定条件    
已选(0)清除 条数/页:   排序方式:
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 248-265
作者:  Wang, Dingkang;  Wang, Hesong;  Wei, Jingjing;  Xiao, Fanghui
收藏  |  浏览/下载:105/0  |  提交时间:2023/02/07
Extended greatest common right divisor  Parametric univariate polynomial matrix  Comprehensive Gr?bner system  Smith normal form  
Algebraic Analysis of Zero-Hopf Bifurcation in a Chua System 期刊论文
SYMMETRY-BASEL, 2022, 卷号: 14, 期号: 5, 页码: 16
作者:  Huang, Bo;  Niu, Wei;  Xie, Shaofen
收藏  |  浏览/下载:53/0  |  提交时间:2023/02/07
averaging method  limit cycle  symbolic computation  zero-Hopf bifurcation  
Solving Multivariate Polynomial Matrix Diophantine Equations with Grobner Basis Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 页码: 14
作者:  Xiao Fanghui;  Lu Dong;  Wang Dingkang
收藏  |  浏览/下载:119/0  |  提交时间:2021/04/26
Grö  bner basis  matrix Diophantine equation  module  multivariate polynomial  
An Improvement of the Rational Representation for High-Dimensional Systems 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 18
作者:  Xiao, Fanghui;  Lu, Dong;  Ma, Xiaodong;  Wang, Dingkang
收藏  |  浏览/下载:145/0  |  提交时间:2021/01/14
Comprehensive Grobner systems  high-dimensional polynomial system  rational representation  rational univariate representation  
Factorizations for a class of multivariate polynomial matrices 期刊论文
MULTIDIMENSIONAL SYSTEMS AND SIGNAL PROCESSING, 2020, 卷号: 31, 期号: 3, 页码: 989-1004
作者:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
收藏  |  浏览/下载:135/0  |  提交时间:2020/06/30
Multivariate polynomial matrices  Matrix factorization  Reduced minors  Reduced Grobner basis  
Apparent singularities of D-finite systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
收藏  |  浏览/下载:172/0  |  提交时间:2020/01/10
D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization  
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载:163/0  |  提交时间:2019/04/02
Comprehensive Grobner basis  comprehensive Grobner system  discovering geometric theorems mechanically  parametric polynomial system  quantifier elimination  
Speeding Up the GVW Algorithm via a Substituting Method 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 205-233
作者:  Li Ting;  Sun Yao;  Huang Zhenyu;  Wang Dingkang;  Lin Dongdai
收藏  |  浏览/下载:163/0  |  提交时间:2019/04/02
Grobner basis  GVW  signature-based algorithm  time-memory tradeoff  
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
收藏  |  浏览/下载:164/0  |  提交时间:2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module  
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载:145/0  |  提交时间:2020/01/10