Shaoshi Chen

Chenqi Mou

J. Syst. Sci. Complex., February, 2023

Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases.

[BibT_eX]

[DOI]

CoRR, 2023

Reducing Hyperexponential Functions over Monomial Extensions.

[BibT_eX]

[DOI]

CoRR, 2023

Stability Problems on D-finite Functions.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

Hermite Reduction for D-finite Functions via Integral Bases.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, 2023

2022

Shift Equivalence Testing of Polynomials and Symbolic Summation of Multivariate Rational Functions.

[BibT_eX]

[DOI]

Hanqian Fang

CoRR, 2022

Constructing minimal telescopers for rational functions in three discrete variables.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2022

Stability Problems in Symbolic Integration.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022

2021

On the existence of telescopers for rational functions in three variables.

[BibT_eX]

[DOI]

J. Symb. Comput., 2021

Telescopers for differential forms with one parameter.

[BibT_eX]

[DOI]

CoRR, 2021

Separability Problems in Creative Telescoping.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Integral P-Recursive Sequences.

[BibT_eX]

[DOI]

CoRR, 2020

Integral bases for p-recursive sequences.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

Apparent singularities of D-finite systems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms.

[BibT_eX]

[DOI]

J. Symb. Comput., 2019

Additive Ore-Sato theorem.

[BibT_eX]

[DOI]

Jing Guo

ACM Commun. Comput. Algebra, 2019

Existence Problem of Telescopers for Rational Functions in Three Variables: the Mixed Cases.

[BibT_eX]

[DOI]

Chaochao Zhu

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

A Reduction Approach to Creative Telescoping.

[BibT_eX]

[DOI]

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019

2018

Reduction-based creative telescoping for fuchsian D-finite functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2018

How to generate all possible rational Wilf-Zeilberger pairs?

[BibT_eX]

[DOI]

CoRR, 2018

Additive Decompositions in Primitive Extensions.

[BibT_eX]

[DOI]

Hao Du

Ziming Li

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, 2018

2017

Some open problems related to creative telescoping.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2017

Power series with coefficients from a finite set.

[BibT_eX]

[DOI]

Jason P. Bell

J. Comb. Theory, Ser. A, 2017

Bivariate Extensions of Abramov's Algorithm for Rational Summation.

[BibT_eX]

[DOI]

CoRR, 2017

2016

Desingularization of Ore operators.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Combinatorics of Hybrid Sets.

[BibT_eX]

[DOI]

Stephen M. Watt

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Reduction-Based Creative Telescoping for Algebraic Functions.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Existence Problem of Telescopers: Beyond the Bivariate Case.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

2015

On the existence of telescopers for mixed hypergeometric terms.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

Proof of the Wilf-Zeilberger Conjecture.

[BibT_eX]

[DOI]

CoRR, 2015

An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.

[BibT_eX]

[DOI]

CoRR, 2015

A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

2014

Improved Abramov-Petkovšek's Reduction and Creative Telescoping for Hypergeometric Terms.

[BibT_eX]

[DOI]

Hui Huang

Ziming Li

ACM Commun. Comput. Algebra, 2014

A generalized Apagodu-Zeilberger algorithm.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Parallel telescoping and parameterized Picard-Vessiot theory.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

2013

Desingularization explains order-degree curves for ore operators.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

Hermite reduction and creative telescoping for hyperexponential functions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Trading order for degree in creative telescoping.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

On the Summability of Bivariate Rational Functions

[BibT_eX]

[DOI]

CoRR, 2012

Residues and Telescopers for Rational Functions

[BibT_eX]

[DOI]

CoRR, 2012

Residues and telescopers for bivariate rational functions.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2012

Telescopers for rational and algebraic functions via residues.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

Order-degree curves for hypergeometric creative telescoping.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

Some applications of differential-difference algebra to creative telescoping. (Quelques applications de l'algébre différentielle et aux différences pour le télescopage créatif).

[BibT_eX]

[DOI]