| 2007 |
|---|
| 3 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
Testing elementary function identities using CAD.
Appl. Algebra Eng. Commun. Comput. 18(6): 513-543 (2007) |
| 2005 |
|---|
| 2 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
Adherence is better than adjacency: computing the Riemann index using CAD.
ISSAC 2005: 37-44 |
| 2004 |
|---|
| 1 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
A poly-algorithmic approach to simplifying elementary functions.
ISSAC 2004: 27-34 |
