Opened 6 years ago

Last modified 5 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 6 years ago by rws

  • Cc kcrisman added

comment:2 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:3 Changed 5 years ago by rws

  • Milestone changed from sage-6.4 to sage-wishlist
Note: See TracTickets for help on using tickets.