Better simplification of elementary functions through power series. - James C. Beaumont; Russell J. Bradford; James H. Davenport (ISSAC, 2003)

A poly-algorithmic approach to simplifying elementary functions. - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (ISSAC, 2004)

Practical Simplification of Elementary Functions Using CAD. - James C. Beaumont; Nalina Phisanbut; Russell J. Bradford (Algorithmic Algebra and Logic, 2005)

Adherence is better than adjacency: computing the Riemann index using CAD. - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (ISSAC, 2005)

Testing elementary function identities using CAD. - James C. Beaumont; Russell J. Bradford; James H. Davenport; Nalina Phisanbut (Appl. Algebra Eng. Commun. Comput., 2007)

Review of "Symbolic Asymptotics by John R. Shackell", Springer Verlag, 243 pages, $79.95. - James C. Beaumont (SIGACT News, 2007)