1. Algorithms for the geometry of semi-algebraic sets;Arnon,1981
2. Topologically reliable display of algebraic curves;Arnon,1983
3. On mechanical quantifier elimination for elementary algebra and geometry: solution of a nontrivial problem. Proc. of Eurocal '85 Vol. II;Arnon;Springer Lec. Notes Comp. Sci.,1985
4. Cylindrical algebraic decomposition I: the basic algorithm;Arnon;SIAM J. Comp.,1984
5. On Schanuel's conjectures;Ax;Ann. Math.,1971