Chinese | English

Search in the results

CSpace

Browse/Search Results:  1-10 of 29 Help

Selected(0)Clear Items/Page:    Sort:
An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2023, 卷号: 115, 页码: 248-265
Authors:  Wang, Dingkang;  Wang, Hesong;  Wei, Jingjing;  Xiao, Fanghui
Favorite  |  View/Download：19/0  |  Submit date：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
Authors:  Huang, Bo;  Niu, Wei;  Xie, Shaofen
Favorite  |  View/Download：6/0  |  Submit date：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
Authors:  Xiao Fanghui;  Lu Dong;  Wang Dingkang
Favorite  |  View/Download：77/0  |  Submit date：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
Authors:  Xiao, Fanghui;  Lu, Dong;  Ma, Xiaodong;  Wang, Dingkang
Favorite  |  View/Download：92/0  |  Submit date：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
Authors:  Lu, Dong;  Wang, Dingkang;  Xiao, Fanghui
Favorite  |  View/Download：89/0  |  Submit date：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
Authors:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
Favorite  |  View/Download：108/0  |  Submit date：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
Authors:  Lu Dong;  Sun Yao;  Wang Dingkang
Favorite  |  View/Download：102/0  |  Submit date：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
Authors:  Li Ting;  Sun Yao;  Huang Zhenyu;  Wang Dingkang;  Lin Dongdai
Favorite  |  View/Download：110/0  |  Submit date：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
Authors:  Jing, Rui-Juan;  Yuan, Chun-Ming;  Gao, Xiao-Shan
Favorite  |  View/Download：109/0  |  Submit date：2019/03/05
Generalized Hermite normal form  Grobner basis  Polynomial-time algorithm  Z[x] module  
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
Authors:  Lu Dong;  Sun Yao;  Wang Dingkang
Favorite  |  View/Download：96/0  |  Submit date：2020/01/10