1. Chistov, A.L.: Polynomial–Time Computation of the Dimension of Algebraic Varieties in Zero–Characteristic. Journal of Symbolic Computation 22(1), 1–25 (1996)
2. Chistov, A.L.: Polynomial–time computation of the dimensions of components of algebraic varieties in zero–characteristic. Journal of Pure and Applied Algebra 117 & 118, 145–175 (1997)
3. Chistov, A.L.: Polynomial–time computation of the degrees of algebraic varieties in zero–characteristic and its applications. Zap. Nauchn. Semin. St-Petersburg. Otdel. Mat. Inst. Steklov (POMI) 258, 7–59 (1999) (in Russian); English transl.: Journal of Mathematical Sciences 108(6), 897–933 (2002) (Preliminary versions of [3], [4], [5] and [6] in English can be found as Preprints (1999),
http://www.MathSoc.spb.ru
)
4. Chistov, A.L.: Strong version of the basic deciding algorithm for the existential theory of real fields. Zap. Nauchn. Semin. St-Petersburg. Otdel. Mat. Inst. Steklov (POMI) 256, 168–211 (1999) (in Russian); English transl.: J. of Mathematical Sciences 107(5), 4265–4295 (Preliminary versions of [3], [4], [5] and [6] in English can be found as Preprints (1999),
http://www.MathSoc.spb.ru
)
5. Chistov, A.L.: Efficient Construction of Local Parameters of Irreducible Components of an Algebraic Variety. In: Proc. of the St.–Petersburg Mathematical Society, vol. 7, pp. 230–266 (1999) (in Russian); English transl. In: Proceedings of the St.Petersburg Mathematical Society, vol. VII. American Math. Soc. Publisher (2001) (Preliminary versions of [3], [4], [5] and [6] in English can be found as Preprints (1999),
http://www.MathSoc.spb.ru
)