We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Symbolic Computation

Title: Creative Telescoping on Multiple Sums

Abstract: We showcase a collection of practical strategies to deal with a problem arising from an analysis of integral estimators derived via quasi-Monte Carlo methods. The problem reduces to a triple binomial sum, thereby enabling us to open up the holonomic toolkit, which contains tools such as creative telescoping that can be used to deduce a recurrence satisfied by the sum. While applying these techniques, a host of issues arose that partly needed to be resolved by hand. In other words, no creative telescoping implementation currently exists that can resolve all these issues automatically. Thus, we felt the need to compile the different strategies we tried and the difficulties that we encountered along the way. In particular, we highlight the necessity of the certificate in these computations and how its complexity can greatly influence the computation time.
Comments: 22 pages; Supplementary material at this https URL
Subjects: Symbolic Computation (cs.SC)
Journal reference: Mathematics in Computer Science, Vol. 15(3), Pages 483-498 (2021)
DOI: 10.1007/s11786-021-00514-3
Cite as: arXiv:2010.08889 [cs.SC]
  (or arXiv:2010.08889v2 [cs.SC] for this version)

Submission history

From: Elaine Wong [view email]
[v1] Sun, 18 Oct 2020 00:00:02 GMT (154kb,D)
[v2] Wed, 17 Mar 2021 08:51:17 GMT (139kb,D)

Link back to: arXiv, form interface, contact.