1. Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office (1964; 10th printing, 1972)
2. Arnon D.S. (1988). A cluster-based CAD algorithm. J. Symb. Comput. 5(1/2): 189–212
3. Bradford, R., Davenport, J.H.: Towards better simplification of elementary functions. In: Mora, T. (ed.) Proceedings of ISSAC, Lille, 7–10 July, pp. 15–22. ACM, New York (2002)
4. Beaumont, J.C., Bradford, R., Davenport, J.H.: Better simplification of elementary functions through power series. In: Sendra, J.R. (ed.) Proceedings of ISSAC, Philadelphia, 3–6 August, pp. 30–36. ACM, New York (2003)
5. Beaumont, J.C., Bradford, R., Davenport, J.H., Phisanbut, N.: A Poly-algorithmic approach to simplifying elementary functions. In: Guttierez, J. (ed.) Proceedings of ISSAC, Santander, 4–7 July, pp. 30–36. ACM, New York (2004)