1. S. Basu, R. Pollack, M.-F. Roy: A new algorithm to find a point in every cell defined by a family of polynomials, quantifier elimination and cylindrical algebraic decomposition, B. Caviness, J. Johnson (Eds.), Springer- Verlag, to appear.
2. E. Becker, J.-P. Cardinal, M.-F. Roy, Z. Szafraniec: Multivariate be- zoutians, Kronecker symbol and Eisenbud-Levine formula. In this volume.
3. E. Becker, T. Wörmann: On the trace formula for quadratic forms, recent advances in real algebraic geometry and quadratic forms, Proceedings of the RAGSQUAD year, Berkeley 1990–1991, W. B. Jacob, T.-Y. Lam, R. O. Robson (editors), Contemporary Mathematics 155, pp. 271–291 (1994).
4. E. Becker, T. Wörmann: Radical computations of zero-dimensional ideals and real root counting, to appear in Mathematics and Computers in Simulation.
5. J.F. Canny: Some algebraic and geometric computations in PSPACE, In Proc. Twentieth ACM Symp. on Theory of Computing, pp. 460 -467 (1988).