A. Skopenkov

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Symmetric Matrices

Interactive Theorem Proving

Top Venues

Publications

S. Dzhenzher, A. Skopenkov
To the Kühnel conjecture on embeddability of k-complexes in 2k-manifolds. CoRR (2022)
E. Kogan, A. Skopenkov
Embeddings of k-complexes in 2k-manifolds and minimum rank of partial symmetric matrices. CoRR (2021)
E. Kogan, A. Skopenkov
A short exposition of the Patak-Tancer theorem on non-embeddability of k-complexes in 2k-manifolds. CoRR (2021)
S. Dzhenzher, A. Skopenkov
A structured proof of the Kolmogorov superposition theorem. CoRR (2021)
A. Buchaev, A. Skopenkov
Simple proofs of estimations of Ramsey numbers and of discrepancy. CoRR (2021)