![]() ![]() Abbasi has done extensive testing of the integration capabilities on these and several other computer algebra systems. The following bar chart summarizes the grades recent versions of Rubi, Mathematica and Maple made on the integration test-suite:Ĭlick on the Test Results menu option to see the detailed test results on which this bar chart is based.Īlso, Nasser M. F - if the result involves an integral, no result is produced within 120 seconds, or the system hangs or crashes.For example, the result involves special functions, but the optimal antiderivative only involves elementary ones. C - if the result unnecessarily involves higher-level functions or complex numbers.B - if the result is more than twice the size of the optimal antiderivative.A - if the result is no more than twice the size of the optimal antiderivative and involves functions no higher-level than those in the optimal antiderivative.For each problem the result produced by a system is given a grade as follows: Each problem consists of an integrand and its optimal antiderivative. Rubi dramatically out-performs other symbolic integrators, including Maple and Mathematica, on a grueling test-suite of integration problems. Comparison with other symbolic integrators Finally, click on About to read about Rubi’s development and developers. Click on Test Results to view the very illuminating results of running the test-suite on Rubi and on Mathematica’s and Maple’s built-in integrators.Ĭlick on Vision to read a short, plain-language essay describing the numerous advantages of organizing mathematical knowledge as a rule-based decision tree like Rubi does. Click on Test Problem to download the available translations of the test-suite. Since it can also be used to test other symbolic integrators, the test-suite has been translated into the syntax of several popular computer algebra systems. Then click on Using Rubi to learn how to integrate expressions and optionally show the steps required to do so.Īn extensive test-suite of over 72,000 integration problems is used to test each new release of Rubi. If the Mathematica computer algebra system is available on your computer, click on Install Rubi for instructions how to download and install the system. Click on Rules to view the mathematical formula and application conditions for each rule expressed in standard 2-D mathematical notation. The over 6700 rules Rubi uses are organized as a decision tree based on the form of the integrand. Also Rubi can show the rules and intermediate steps it uses to integrate an expression, making the system a great tool for both learning and doing mathematics. Welcome to Rubi, A Rule-based Integrator | Rubi (Rule-based Integrator) Rubi (Rule-based Integrator) A symbolic integrator based on an extensive system of integration rules Home Rules Install Rubi Using Rubi Test Problems Test Results Vision About Welcome to Rubi, A Rule-based Integratorīy systematically applying its extensive, coherent collection of symbolic integration rules, Rubi is able to find the optimal antiderivative of large classes of mathematical expressions.
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |