Opened 9 years ago

Last modified 8 years ago

#16636 new enhancement

implement creative telescoping

Reported by: rws Owned by:
Priority: major Milestone: sage-wishlist
Component: symbolics Keywords:
Cc: kcrisman Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


Creative telescoping denotes a set of algorithms for the discovery of identities, i.e., closed forms in terms of holonomic functions (equivalent to finding polynomial recurrences). This allows automatic conjectures (and proof), and so, using older algorithms, Maxima can solve some sums and integrals using Wilf-Zeilberger theory. More general however are Chyzak's algorithm and the work by Koutschan. Already available optionally in Sage is the Ore algebra package that is needed here.

This meta-ticket implements the full toolkit for holonomic functions similar to Koutschan's Mathematica package HolonomicFunctions, see

Change History (3)

comment:1 Changed 9 years ago by rws

Cc: kcrisman added

comment:2 Changed 8 years ago by vbraun_spam

Milestone: sage-6.3sage-6.4

comment:3 Changed 8 years ago by rws

Milestone: sage-6.4sage-wishlist
Note: See TracTickets for help on using tickets.