On Mon, 16 Sep 2013 00:59:51 -0700 (PDT)
Fredrik Johansson <fredrik.johans...@gmail.com> wrote:
> Curious that no one seems to have attempted to port Rubi to Sage yet!
> Perhaps a possible project for next year's GSoC?
This might be an interesting exercise to test our symbolics and pattern
matching capabilities.
Looking for a license, I only see the following statement on the Rubi
web pages [1].
The mathematical knowledge on this website is freely available for
any educational, academic or commercial use. Please include the
website address and appropriately acknowledge its author in any
product incorporating its contents.
[1] http://www.apmaths.uwo.ca/~arich/
I guess this means we can use the MMA notebook files as a basis.
Is anyone interested in trying to convert these rules to Sage syntax
and find / document shortcomings of our pattern matching engine in
the mean time?
Cheers,
Burcin
P.S. For the record, I don't think this is the silver bullet for an
integration engine in Sage. I like algorithmic approaches better.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
