CSpace

Browse/Search Results:  1-10 of 148 Help

Selected(0)Clear Items/Page:    Sort:
New bounds and an efficient algorithm for sparse difference resultants 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 107, 页码: 279-298
Authors:  Yuan, Chun-Ming;  Zhang, Zhi-Yong
Favorite  |  View/Download:3/0  |  Submit date:2021/10/26
Sparse difference resultant  Laurent transformally essential system  Sparse resultant  Complexity  
On the existence of telescopers for rational functions in three variables 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 494-522
Authors:  Chen, Shaoshi;  Du, Lixin;  Wang, Rong-Hua;  Zhu, Chaochao
Favorite  |  View/Download:13/0  |  Submit date:2021/04/26
Creative telescoping  Existence criterion  Reduction  Telescoper  
Unirational differential curves and differential rational parametrizations 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2021, 卷号: 104, 页码: 539-562
Authors:  Fu, Lei;  Li, Wei
Favorite  |  View/Download:23/0  |  Submit date:2021/04/26
Unirational differential curve  Proper differential rational parametrization  Differential resultants  Implicitization  
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:59/0  |  Submit date: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
Authors:  El Din, Mohab Safey;  Yang, Zhi-Hong;  Zhi, Lihong
Favorite  |  View/Download:81/0  |  Submit date:2020/09/23
Polynomial system  Real radical  S-radical ideal  Semi-algebraic set  Real algebraic geometry  
Faster interpolation algorithms for sparse multivariate polynomials given by straight-line programs 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2020, 卷号: 101, 页码: 367-386
Authors:  Huang, Qiao-Long;  Gao, Xiao-Shan
Favorite  |  View/Download:17/0  |  Submit date:2020/09/23
Black box  Interpolation  Kronecker substitution  
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:29/0  |  Submit date: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
Authors:  Chen, Shaoshi;  Koutschan, Christoph
Favorite  |  View/Download:39/0  |  Submit date:2019/03/11
Wilf-Zeilberger conjecture  Hypergeometric term  Properness  Holonomic function  D-finite function  Ore-Sato theorem  
Difference indices of quasi-prime difference algebraic systems 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 87, 页码: 1-13
Authors:  Wang, Jie
Favorite  |  View/Download:31/0  |  Submit date:2018/07/30
Difference index  Order of difference ideal  Hilbert-Levin regularity  Difference ideal membership problem  
Observability of Automata Networks: Fixed and Switching Cases 期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2018, 卷号: 29, 期号: 4, 页码: 1388-1394
Authors:  Li, Rui;  Hong, Yiguang;  Wang, Xingyuan
Favorite  |  View/Download:28/0  |  Submit date:2018/07/30
Automata networks  conjugacy  observability  recurrent neural networks  switched systems