| |
| 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 |
| 1 | James C. Beaumont | [1] [2] [3] |
| 2 | Russell J. Bradford | [1] [2] [3] |
| 3 | James H. Davenport | [1] [2] [3] |