| RUBI and integration as term re-writing: integrals containing tangent | 0 | 0.34 | 2015 |
| Indefinite integration as term rewriting: Integrals containing tangent | 0 | 0.34 | 2013 |
| A Knowledge Repository for Indefinite Integration Based on Transformation Rules | 5 | 0.60 | 2009 |
| Recursive integration of piecewise-continuous functions | 1 | 0.35 | 1998 |
| Integration of the signum, piecewise and related functions | 2 | 0.45 | 1997 |
| The evaluation of trigonometric integrals avoiding spurious discontinuities | 6 | 1.82 | 1994 |
