1. Aubry, P., Lazard, D., Moreno Maza, M.: On the theories of triangular sets. J. Symbolic Comput. 28(1–2), 105–124 (1999)
2. Becker, R., Sagraloff, M., Sharma, V., Yap, C.: A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration. J. Symbolic Comput. 86, 51–96 (2018)
3. Boulier, F., Chen, C., Lemaire, F., Maza, M.M.: Real root isolation of regular chains. In: The Joint Conference of ASCM 2009 and MACIS 2009, COE Lect. Note, vol. 22, pp. 15–29. Kyushu Univ. Fac. Math, Fukuoka (2009)
4. Gargantini, I., Henrici, P.: Circular arithmetic and the determination of polynomial zeros. Numer. Math. 18, 305–320 (1971/72)
5. Hardy, G.H.: Weierstrass’s non-differentiable function. Trans. Amer. Math. Soc. 17(3), 301–325 (1916)