The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math.symbolic

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Rubi 4 is now available
Replies: 0  

Advanced Search

Back to Topic List Back to Topic List  
Albert D. Rich

Posts: 311
From: Hawaii Island
Registered: 5/30/09
Rubi 4 is now available
Posted: May 14, 2013 9:20 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

At long last the 4th version of Rubi (Rule-based integrator) has been posted at

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 true-or-false 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 rule-based 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 test-suite 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

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.