1. Algorithms in Real Algebraic Geometry;Basu,2006
2. Complexity of computations with Pfaffian and Noetherian functions;Gabrielov,2004
3. Parallel arithmetic computations: a survey;von zur Gathen,1986
4. Modern Computer Algebra;von zur Gathen,2003
5. Integer arithmetic algorithms for polynomial real zero determination;Heindel;J. ACM,1971