| View previous topic :: View next topic |
| Author |
Message |
Tim Smith
Guest
|
 Posted: Thu Oct 30, 2008 7:26 am Post subject: Hypergeometric identities and free software? |
 |
|
Are there any free symbolic math programs that can find and prove
hypergeometric identities, as described in the book "A=B" by Petkovsek,
Wilf, and Zeilberger? (<http://www.math.upenn.edu/~wilf/AeqB.html>)
So far, all the implementations of those algorithms that I>ve found have
been written for either Maple or Mathematica.
--
--Tim Smith |
|
| |
|
 Back to top |
Robert Dodier
Guest
|
| Posted: Thu Oct 30, 2008 4:34 pm Post subject: Re: Hypergeometric identities and free software? |
|
|
On Oct 30, 1:48 am, Tim Smith <reply_in_gr...@mouse-potato.com> wrote:
[quote]Are there any free symbolic math programs that can find and prove
hypergeometric identities, as described in the book "A=B" by Petkovsek,
Wilf, and Zeilberger? (<http://www.math.upenn.edu/~wilf/AeqB.html>)
[/quote]
Maxima has an add-on package (zeilberger) which implements
Zeilberger>s algorithm. There is also an implementation of Gosper>s
algorithm in that package, as well as a built-in implementation
(nusum) which might have been written by Gosper himself;
not sure about that.
FWIW
Robert Dodier |
|
| |
|
| Back to top |
Martin Rubey
Guest
|
| Posted: Thu Oct 30, 2008 4:39 pm Post subject: Re: Hypergeometric identities and free software? |
|
|
Tim Smith <reply_in_group@mouse-potato.com> writes:
[quote]Are there any free symbolic math programs that can find and prove
hypergeometric identities, as described in the book "A=B" by Petkovsek,
Wilf, and Zeilberger? (<http://www.math.upenn.edu/~wilf/AeqB.html>)
[/quote]
In FriCAS you can do this (well, almost, but on the other hand a fair bit more)
via my guessing package.
If you are interested in contributing / using, there are certainly
possibilities. Please ask for a more precise description.
Gosper is implemented of course.
As far as I know, in maxima there is also an implementation of Zeilbergers
algorithm.
Martin |
|
| |
|
| Back to top |
|
