1. Achatz, M., McCallum, S., Weispfenning, V.: Deciding Polynomial-Exponential Problems, ISSAC 2008, pp. 215–222. ACM, New York (2008)
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Comput. Sci. 138(1), 3–34 (1995)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. Chen, S., Liu, Z.: Automated Proof of exponential polynomial inequality. J. Syst. Sci. Math. Sci. 37(7), 1692–1703 (2017)
5. Chen, S., Liu, Z.: Automated Proof of class of transcendental function inequalities. J. Syst. Sci. Math. Sci. 39(5), 804 (2019)