A conjecture in the problem of rational definite summation
Mark van Hoeij
TL;DR
This paper presents a conjecture related to rational definite summation, which, if proven true, could enable the development of an algorithm for computing such sums efficiently.
Contribution
It introduces a conjecture that, upon validation, could form the basis for an algorithm to compute rational definite sums.
Findings
Proposes a new conjecture in rational summation
Potential to develop an algorithm based on the conjecture
Implications for symbolic computation methods
Abstract
A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
Topicssemigroups and automata theory