Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: Rubi 4.5 released
Replies: 21   Last Post: Jun 29, 2014 4:29 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Albert D. Rich

Posts: 217
From: Hawaii Island
Registered: 5/30/09
Rubi 4.5 released
Posted: Jun 20, 2014 10:05 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Version 4.5 of Rubi, the Rule-based integrator, is now freely available for downloading at http://www.apmaths.uwo.ca/RuleBasedMathematics

It consists of over 5000 precisely defined rules that return closed-form antiderivative for a wide class of integrands. Also available is a test suite comprised of almost 50,000 integrands and their optimal antiderivatives.

An almost total rewrite of the trig integration package has greatly increased the class of expressions Rubi is able to integrate. For example, Rubi 4.5 can integrate all integrable expressions of the form

(a+b trig(x))^m (c+d trig(x))^n (A+B trig(x)+C trig(x)^2)

where <trig> is any one of the twelve trig or hyperbolic functions. Note that the coefficients and exponents can have any numeric or symbolic value, including zero. Of course, Rubi automatically transforms a wide variety of other trig expressions into the above form so they can be integrated. Previous versions of Rubi could only guaranteeably integrate all expressions of the form

trig(x)^m (a+b trig(x))^n (A+B trig(x)+C trig(x)^2)

Also Rubi 4.5 incorporates numerous improvements to the algebraic function integrator.

Albert




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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.