#16636: implement creative telescoping
---------------------------+----------------------------
Reporter: rws | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: symbolics | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
---------------------------+----------------------------
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.
--
Ticket URL: <http://trac.sagemath.org/ticket/16636>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
