1. Sylvester's identity and multistep integer preserving Gaussian elimination;Bereiss;Math. Comp.,1968
2. Polynomial complexity of Newton—Puiseux algorithm;Chistov,1986
3. Polynomial-time factoring of multivariable polynomials over a global field;Chistov,1982
4. Subexponential-time solving systems of algebraic equations. I, II;Chistov,1983
5. Complexity of quantifier elimination in the theory of algebraically closed fields;Chistov,1984