Sergey A. Melikhov
Author
Alternate names Sergey Aleksandrovich Melikhov, Sergey Melikhov, Sergey A. Melikhov, S. A. Melikhov
Past institutions Steklov Mathematical Institute, Russian Academy of Sciences, Russian Foundation for Basic Research, University of Florida, Lomonosov Moscow State University
ORCID: Yes
H-index: 9
I10-index: 9
Works count: 95
Citations count: 618
Homotopy Type Theory: Univalent Foundations of Mathematics
2013 · Peter Aczel, Benedikt Ahrens, et al. · arXiv (Cornell University)
The van Kampen obstruction and its relatives
2009 · Sergey A. Melikhov · Proceedings of the Steklov Institute of Mathematics
On maps with unstable singularities
2002 · Sergey A. Melikhov · Topology and its Applications