Skip to content

Commit 61cf544

Browse files
authored
Update integrationRules.md
Include a link to the Rubi Symbolic Integrator software license.
1 parent 730b71e commit 61cf544

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

integrationRules.md

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Symbolic Integration Rules
22

3-
Rubi systematically applies precisely defined rules to efficiently integrate large classes of mathematical expressions. The integration rules, expressed in both human and machine-readable form, are available for viewing as PDF files and for downloading as Mathematica notebook files. The links below to these source files are organized into categories based on the form of the integrands handled by each file.
3+
Rubi systematically applies precisely defined rules to efficiently integrate large classes of mathematical expressions. The integration rules in the Rubi source files are expressed in both human and machine-readable form. These files are available for viewing as PDF files and for downloading as Mathematica notebook files. The [Rubi Software License](https://github.com/RuleBasedIntegration/RuleBasedIntegration.github.io/blob/master/Rubi%20License.md) grants permission to use the mathematical knowledge in these copyrighted files free of charge.
44

55
The integration rules are sequentially assigned a rule number as they are loaded into Rubi. Shown below is the range of numbers of the rules defined in each source file. The <a href="PdfRuleFiles/Rubi 4.16.1 Integration Rule Index.pdf">Integration Rule Index</a> also lists the range of rule numbers in each file, but arranged in numerical order. To download the rule index as a Mathematica notebook file, click on <a href="NotebookRuleFiles/Rubi 4.16.1 Integration Rule Index.nb">Integration Rule Index File</a>.
66

@@ -18,7 +18,8 @@ The rules defined in the source files are displayed in standard, 2-dimensional m
1818
- **<font face="courier">A&S</font>** is the ["Handbook of Mathematical Functions"](https://isbnsearch.org/isbn/9780486612720),
1919
Milton Abramowitz and Irene A. Stegun, editors.
2020

21-
A zip file containing all the rule files organized in a hierarchical directory structure is also available for downloading by clicking on <a href="PdfRuleFiles/Rubi-4.16.1.0.zip">PDF rule files</a> or <a href="NotebookRuleFiles/Rubi-4.16.1.0.zip">Notebook rule files</a>.
21+
The links below to the Rubi source files are organized into categories based on the form of the integrands handled by each file. A zip file containing all the rule files organized in a hierarchical directory structure is also available for downloading by clicking on <a href="PdfRuleFiles/Rubi-4.16.1.0.zip">PDF rule files</a> or <a href="NotebookRuleFiles/Rubi-4.16.1.0.zip">Notebook rule files</a>.
22+
2223

2324
## 1 Algebraic Function Rules
2425

0 commit comments

Comments
 (0)