1. Gruntz, D., 1996. On computing limits in a symbolic manipulation system. Ph.D. Thesis, ETH.
2. On a class of systems of transcendental equations;Hovanskii;Sov. Math. Dokl.,1980
3. Introduction to Transcendental Numbers;Lang,1966
4. Some useful bounds;Mignotte,1982
5. How to recognize zero;Richardson;J. Symb. Comput.,1997