1979, Leningrad (St Petersburg) University, Dept. of Applied Mathematics

Publication:

1. Solving systems of polynomial inequalities in subexponential time, J. Symbolic Comp., 5, 1988, 37–64.  With D. Grigoriev

2. The complexity of deciding consistency of systems of polynomial in exponent

inequalities, J. Symbolic Comp., 13, 1992, 139–173.

3. The complexification and degree of a semialgebraic set, Mathematische

Zeitschrift, 239, 1, 2002, 131–142. With M.-F. Roy.

4. Complexity of computations with Pfaffian and Noetherian functions, in:

Normal Forms, Bifurcations and Finiteness Problems in Differential Equations,

NATO Science Series II, 137, Kluwer, 2004, 211–250. With A. Gabrielov.

5. Approximation of definable sets by compact families, and upper bounds on

homotopy and homology, J. London Math. Soc., 80, 2, 2009, 35–54. With A. Gabrielov.

https://people.bath.ac.uk/masnnv/Works22.pdf