Showing cs.SCShow all
3 papers · 1 filter
cs.SC2026
On the Summability Problem of Multivariate Rational Functions in the Mixed Case
Shaoshi Chen, Lixin Du, Hanqian Fang +1
Continuing previous work, this paper focuses on the summability problem of multivariate rational functions in the mixed case in which both shift and -shift operators can appear.…
cs.SC2026
A zero-test for D-algebraic transseries
Shaoshi Chen, Hanqian Fang, Joris van der Hoeven
Consider formal power series that are defined as the solutions of a system of polynomial differential equations together with a sufficient numbe…
cs.SC2022
Symbolic Summation of Multivariate Rational Functions
Shaoshi Chen, Lixin Du, Hanqian Fang
Symbolic summation as an active research topic of symbolic computation provides efficient algorithmic tools for evaluating and simplifying different types of sums arising from math…