CSpace

Browse/Search Results:  1-10 of 147 Help

Selected(0)Clear Items/Page:    Sort:
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:10/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:20/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:56/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:79/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:16/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:28/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:36/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:28/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:26/0  |  Submit date:2018/07/30
Automata networks  conjugacy  observability  recurrent neural networks  switched systems  
41th International Symposium on Symbolic and Algebraic Computation (ISSAC'16) Preface 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2018, 卷号: 85, 页码: 1-3
Authors:  Gao, Xiao-Shan
Favorite  |  View/Download:24/0  |  Submit date:2018/07/30