On hardness of roundness calculation. - Sergey P. Tarasov (CCCG, 1997)

Some PL Functions on Surfaces are not Height Functions. - Sergey P. Tarasov; Michael N. Vyalyi (SCG, 1997)

Construction of Contour Trees in 3D in O(n log n) Steps. - Sergey P. Tarasov; Michael N. Vyalyi (SCG, 1998)

A sufficient condition for global invertibility of Lipschitz mapping - Sergey P. Tarasov (CoRR, 2002)

An Efficient Algorithm for Zero-Testing of a Lacunary Polynomial at the Roots of Unity. - Sergey P. Tarasov; Mikhail N. Vyalyi (CSR, 2007)

Semidefinite programming and arithmetic circuit evaluation. - Sergey P. Tarasov; Mikhail N. Vyalyi (Discret. Appl. Math., 2008)

Efficient Algorithms for Sparse Cyclotomic Integer Zero Testing. - Qi Cheng 001; Sergey P. Tarasov; Mikhail N. Vyalyi (Theory Comput. Syst., 2010)

Orbits of Linear Maps and Regular Languages. - Sergey P. Tarasov; Mikhail N. Vyalyi (CSR, 2011)