1. Deciding polynomialexponential problems;M Achatz;Proc. of the twenty-first international symposium on Symbolic and algebraic computation (ISSAC '08)
2. Deciding polynomial-transcendental problems;M Achatz;J. Symb. Comput,2012
3. Quantifier elimination for a class of exponential polynomial formulas;M Xu;J. Symb. Comput,2015
4. Real root isolation for exp-log-arctan functions;A Strzeboski;J. Symb. Comput,2012
5. Real root isolation for tame elementary functions;A Strzebonski;Proc. of the 2009 international symposium on Symbolic and algebraic computation (ISSAC '09)