Export results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is E  [Clear All Filters]
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.
Pre-publication version is here.
Voevodsky, V., "The equivalence axiom and univalent models of type theory", arXiv 1402.5556, pp. 1–11, 2010.
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.  (336.38 KB)
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.  (713.56 KB)
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.  (439.49 KB)