1. A comparative study of two real root isolation methods;Akritas;Nonlinear Anal.,2005
2. Counting the number of real roots in an interval with Vincent's theorem;Akritas;Bull. Math. Soc. Sci. Math. Roum. (N.S.),2010
3. Algorithms in Real Algebraic Geometry;Basu,2003
4. The Magma algebra system. I. The user language;Bosma;J. Symb. Comput.,1997
5. Solving quadratic equations in dimension 5 or more without factoring;Castel,2013