Skip to content

Commit 16ffd4f

Browse files
authored
Update index.md
1 parent 40eab6a commit 16ffd4f

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ The over 6700 rules Rubi uses are organized as a decision tree based on the form
66

77
If the Mathematica computer algebra system is available on your computer, click on [Install Rubi](https://rulebasedintegration.org/downloadRubi.html) for instructions how to download and install the system. Then click on [Using Rubi](https://rulebasedintegration.org/usingRubi.html) to learn how to integrate expressions and optionally show the steps required to do so.
88

9-
An extensive test-suite of over 72,000 integration problems is used to test each new release of Rubi. 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. Click on [Test Problem](https://rulebasedintegration.org/testProblems.html) to download the available translations of the test-suite. Click on [Test Results](https://rulebasedintegration.org/testResults.html) to view the very illuminating results of running the test-suite on Rubi and on Mathematica's built-in integrator.
9+
An extensive test-suite of over 72,000 integration problems is used to test each new release of Rubi. 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. Click on [Test Problem](https://rulebasedintegration.org/testProblems.html) to download the available translations of the test-suite. Click on [Test Results](https://rulebasedintegration.org/testResults.html) to view the very illuminating results of running the test-suite on Rubi and on Mathematica's and Maple's built-in integrators.
1010

1111
Click on [Vision](https://rulebasedintegration.org/vision.html) to read a short, plain-language essay describing the numerous advantages of organizing mathematical knowledge as a rule-based decision tree like Rubi does. Finally, click on [About](https://rulebasedintegration.org/about.html) to read about Rubi's development and developers.
1212

0 commit comments

Comments
 (0)