Abstract | ||
---|---|---|
We describe the development of a term-rewriting system for indefinite integration; it is also called a rule-based evaluation system. The development is separated into modules, and we describe the module for a wide class of integrands containing the tangent function. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1134/S0361768813020059 | Programming and Computer Software |
Keywords | Field | DocType |
term-rewriting system,rule-based evaluation system,indefinite integration,wide class,tangent function | Discrete mathematics,Evaluation system,Mathematical beauty,Computer science,Recurrence relation,Tangent,Rewriting | Journal |
Volume | Issue | ISSN |
39 | 2 | 1608-3261 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. Hu | 1 | 0 | 0.34 |
Y. Hou | 2 | 0 | 0.34 |
A. D. Rich | 3 | 14 | 3.90 |
D. J. Jeffrey | 4 | 33 | 8.39 |