中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共12条，第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
收藏  |  浏览/下载：283/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
收藏  |  浏览/下载：333/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
收藏  |  浏览/下载：193/0  |  提交时间：2020/01/10
D-finite system  Grobner basis  Ordinary point  Formal power series  Apparent singularity  Desingularization  
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
收藏  |  浏览/下载：158/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.
收藏  |  浏览/下载：148/0  |  提交时间：2018/07/30
D-finite functions  Apparent singularities  Computer algebra  Ore operators  
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
收藏  |  浏览/下载：137/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
收藏  |  浏览/下载：117/0  |  提交时间：2018/07/30
Linear difference-differential equations  Normal form  Algorithm  Liouvillian solutions  
Liouvillian solutions of linear difference-differential equations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2010, 卷号: 45, 期号: 3, 页码: 287-305
作者:  Feng, Ruyong;  Singer, Michael F.;  Wu, Min
收藏  |  浏览/下载：99/0  |  提交时间：2018/07/30
Linear difference-differential equations  Galois theory  Liouvillian sequences  
Decomposition of ordinary difference polynomials 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 10, 页码: 1394-1409
作者:  Zhang, Mingbo;  Gao, Xiao-Shan
收藏  |  浏览/下载：72/0  |  提交时间：2018/07/30
Functional decomposition  Difference polynomial  Difference operator  Difference degree  
A characteristic set method for ordinary difference polynomial systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260
作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming
收藏  |  浏览/下载：109/0  |  提交时间：2018/07/30
Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving