Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.



Rubi 4 is now available
Posted:
May 14, 2013 9:20 PM


At long last the 4th version of Rubi (Rulebased integrator) has been posted at
http://www.apmaths.uwo.ca/~arich/
The entire system of rules Rubi 4 uses to symbolically integrate a wide variety of expressions is freely available for viewing and/or downloading. The rules in the files are hierarchically arranged in the form of a decision tree. By answering trueorfalse questions in the tree, it is easy for a human or computer to determine exactly which of the more than 5000 rules is the right one to apply to a given integrand. Also available for those having access to Mathematica 7 or better are the source files necessary to actually try Rubi on integrands of your choice. Optionally, you can show the intermediate steps and the rules Rubi uses to compute antiderivatives.
As evidence of the merits of using a rulebased approach to automate symbolic integration, the website has a table summarizing the result of running Rubi 4 and the two major commercial computer algebra systems on a grueling test suite of over 43,000 integration problems. Both the testsuite problems and raw test results are available for viewing or downloading from the website. There has been much discussion recently on sci.math.symbolic about establishing an "Independent Integration Test Suite". Perhaps some of the problems in this test suite warrant inclusion...
Aloha from Hawaii, Albert D. Rich



