Publications

Voevodsky, V. A., and G. B. Shabat, "Equilateral triangulations of Riemann surfaces, and curves over algebraic number fields", Dokl. Akad. Nauk SSSR, vol. 304, pp. 265–268, 1989.

• BibTeX

 (439.49 KB)

Voevodsky, V., "The equivalence axiom and univalent models of type theory", arXiv 1402.5556, pp. 1–11, 2010.

• BibTeX

Voevodsky, V. A., "Etale topologies of schemes over fields of finite type over Q", Izv. Akad. Nauk SSSR Ser. Mat., vol. 54, pp. 1155–1167, 1990.

• BibTeX

 (713.56 KB)

Orlov, D., A. Vishik, and V. Voevodsky, "An exact sequence for K^M/2 with applications to quadratic forms", Ann. of Math. (2), vol. 165, pp. 1–13, 2007.

• BibTeX

 (336.38 KB)

Voevodsky, V., "An experimental library of formalized Mathematics based on the univalent foundations", Mathematical Structures in Computer Science, vol. FirstView, pp. 1–17, 2, 2015.

• BibTeX