中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

限定条件    
已选(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  
Algorithms for computing greatest common divisors of parametric multivariate polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 3-20
作者:  Kapur, Deepak;  Lu, Dong;  Monagan, Michael;  Sun, Yao;  Wang, Dingkang
收藏  |  浏览/下载：262/0  |  提交时间：2020/09/23
Parametric multivariate polynomials  Gcd system  Minimal comprehensive Grobner system  Ideal intersection  Ideal quotient  
Computing real radicals and S-radicals of polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 102, 页码: 259-278
作者:  El Din, Mohab Safey;  Yang, Zhi-Hong;  Zhi, Lihong
收藏  |  浏览/下载：299/0  |  提交时间：2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
Difference indices of quasi-prime difference algebraic systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 87, 页码: 1-13
作者:  Wang, Jie
收藏  |  浏览/下载：134/0  |  提交时间：2018/07/30
Difference index  Order of difference ideal  Hilbert-Levin regularity  Difference ideal membership problem  
Complete numerical isolation of real roots in zero-dimensional triangular systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 7, 页码: 768-785
作者:  Cheng, Jin-San;  Gao, Xiao-Shan;  Yap, Chee-Keng
收藏  |  浏览/下载：103/0  |  提交时间：2018/07/30
Triangular system  Real zero isolation  Sleeve bound  Evaluation bound