A poly-algorithmic approach to simplifying elementary functions.

James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut

Browse the full ISSAC paper archive.