2007 |
5 | 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) |
4 | EE | James C. Beaumont:
Review of "Symbolic Asymptotics by John R. Shackell", Springer Verlag, 243 pages, $79.95.
SIGACT News 38(2): 11-16 (2007) |
2005 |
3 | 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 |
2 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport,
Nalina Phisanbut:
A poly-algorithmic approach to simplifying elementary functions.
ISSAC 2004: 27-34 |
2003 |
1 | EE | James C. Beaumont,
Russell J. Bradford,
James H. Davenport:
Better simplification of elementary functions through power series.
ISSAC 2003: 30-36 |