If systematically applied, the integration rules provided on this website can determine the antiderivative of a wide variety of mathematical expressions. As proof, a rule-based integrator nicknamed Rubi was implemented using these rules. Organized as a decision tree based on the type of the integrand, the 6000+ rules Rubi uses can be viewed in human-readable form or downloaded in machine-readable form. To read about the feasibility and desirability of organizing mathematical knowledge as a rule-based decision tree, click on the About>Vision menu option above.
Rubi dramatically out-performs Maple and Mathematica (the two major commercial computer algebra systems) on a grueling integration test suite. Consisting of over 55 thousand integrands and optimal antiderivatives, the entire test suite is also available for downloading. This chart shows the percentage of test suite problems for which these systems were able to find optimal antiderivatives. What constitutes an optimal antiderivative is defined following the table below.
The following chart shows the percentage of optimal antiderivatives found by the three integrators for various types of integrands:
For example, it shows Mathematica has the most difficulty with integrands involving trig functions; whereas Maple has the most difficulty with logarithms. Both the above bar charts are based on the following test suite results:
|Integration Test Suite Results|
|Maple 18||Mathematica 10||Rubi 4.9|
|Algebraic linear functions||4258||3533||392||333||3940||304||14||4253||5||0|
|Algebraic quadratic functions||5935||4591||1130||214||5626||283||26||5935||0||0|
|Algebraic binomial functions||6481||4985||874||622||5976||483||22||6475||6||0|
|Algebraic trinomial functions||2022||1447||451||124||1779||213||30||2021||1||0|
|Miscellaneous algebraic functions||1722||1185||344||193||1401||192||129||1708||7||7|
|Inverse trig functions||3603||2567||407||629||3236||224||143||3599||2||2|
|Inverse hyperbolic functions||4877||2401||597||1879||4439||253||185||4872||1||4|
|Independent test problems||1424||1146||173||105||1247||158||19||1373||28||23|
The following summarizes the meaning of the numbers under the column headings in the above table:
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.
Maple is a registered trademark of Maplesoft.
Mathematica is a registered trademark of Wolfram Research, Inc. who generously provided a copy of Mathematica to support this research.