Opened 7 years ago
Last modified 6 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: |
Description
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 http://koutschan.de.
Change History (3)
comment:1 Changed 7 years ago by
- Cc kcrisman added
comment:2 Changed 6 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:3 Changed 6 years ago by
- Milestone changed from sage-6.4 to sage-wishlist