Towards better simplification of elementary functions.

Russell J. Bradford, James H. Davenport

Browse the full ISSAC paper archive.