Browse/Search Results:  1-7 of 7 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:52/0  |  Submit date:2023/02/07
Extended greatest common right divisor  Parametric univariate polynomial matrix  Comprehensive Gr?bner system  Smith normal form  
Algorithms for computing greatest common divisors of parametric multivariate polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 3-20
Authors:  Kapur, Deepak;  Lu, Dong;  Monagan, Michael;  Sun, Yao;  Wang, Dingkang
Favorite  |  View/Download:190/0  |  Submit date:2020/09/23
Parametric multivariate polynomials  Gcd system  Minimal comprehensive Grobner system  Ideal intersection  Ideal quotient  
An Improvement of the Rational Representation for High-Dimensional Systems 期刊论文
Authors:  Xiao, Fanghui;  Lu, Dong;  Ma, Xiaodong;  Wang, Dingkang
Favorite  |  View/Download:108/0  |  Submit date:2021/01/14
Comprehensive Grobner systems  high-dimensional polynomial system  rational representation  rational univariate representation  
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:112/0  |  Submit date:2019/04/02
Comprehensive Grobner basis  comprehensive Grobner system  discovering geometric theorems mechanically  parametric polynomial system  quantifier elimination  
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
Authors:  Lu Dong;  Sun Yao;  Wang Dingkang
Favorite  |  View/Download:106/0  |  Submit date:2020/01/10
Solving the Perspective-Three-Point Problem Using Comprehensive Grobner Systems 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 5, 页码: 1446-1471
Authors:  Zhou Jie;  Wang Dingkang
Favorite  |  View/Download:68/0  |  Submit date:2018/07/30
Comprehensive Grobner system  parametric polynomials  perspective-three-point problem  real solutions  
solvingtheperspectivethreepointproblemusingcomprehensivegrobnersystems 期刊论文
journalofsystemsscienceandcomplexity, 2016, 卷号: 29, 期号: 5, 页码: 1446
Authors:  Zhou Jie;  Wang Dingkang
Favorite  |  View/Download:77/0  |  Submit date:2020/01/10