中文版 | English

在结果中检索

CSpace

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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
收藏  |  浏览/下载：273/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
收藏  |  浏览/下载：309/0  |  提交时间：2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
Apparent singularities of D-finite systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 95, 页码: 217-237
作者:  Chen, Shaoshi;  Kauers, Manuel;  Li, Ziming;  Zhang, Yi
收藏  |  浏览/下载：180/0  |  提交时间：2020/01/10
D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization  
Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 卷号: 93, 页码: 133-147
作者:  Chen, Shaoshi;  Koutschan, Christoph
收藏  |  浏览/下载：212/0  |  提交时间：2019/03/11
Wilf-Zeilberger conjecture  Hypergeometric term  Properness  Holonomic function  D-finite function  Ore-Sato theorem  
41th International Symposium on Symbolic and Algebraic Computation (ISSAC'16) Preface 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 1-3
作者:  Gao, Xiao-Shan
收藏  |  浏览/下载：149/0  |  提交时间：2018/07/30
Reduction-based creative telescoping for fuchsian D-finite functions 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 108-127
作者:  Chen, Shaoshi;  van Hoeij, Mark;  Kauers, Manuel;  Koutschan, Christoph
收藏  |  浏览/下载：148/0  |  提交时间：2018/07/30
D-finite function  Integral basis  Trager's reduction  Telescoper  
Desingularization of Ore operators 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 74, 页码: 617-626
作者:  Chen, Shaoshi;  Kauers, Manuel;  Singer, Michael F.
收藏  |  浏览/下载：140/0  |  提交时间：2018/07/30
D-finite functions  Apparent singularities  Computer algebra  Ore operators  
Computing the intersections of three conics according to their Jacobian curve 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 73, 页码: 175-191
作者:  Feng, Ruyong;  Shen, Li-Yong
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
Algebraic condition  Conic  Intersection  Jacobian curve  Singularity  
Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 73, 页码: 221-243
作者:  Jia, Xiaohong;  Wang, Wenping;  Choi, Yi-King;  Mourrain, Bernard;  Tu, Changhe
收藏  |  浏览/下载：131/0  |  提交时间：2018/07/30
Intersection curve  Moving quadrics  Signature sequence  Index sequence  Jordan form  
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2010, 卷号: 45, 期号: 3, 页码: 306-323
作者:  Feng, Ruyong;  Singer, Michael F.;  Wu, Min
收藏  |  浏览/下载：111/0  |  提交时间：2018/07/30
Linear difference-differential equations  Normal form  Algorithm  Liouvillian solutions