Chris Kapulkin
Journal of the European Mathematical Society (Print) · 2012
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 1 researcher here, as inferred from the citation graph.
Whom Chris Kapulkin trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Chris Kapulkin overall
Papers from Chris Kapulkin's perspective
Ordered by how strongly the researchers Chris Kapulkin trusts endorse each paper. Same corpus, a different order for every researcher.
- Simplicial Homotopy Theory
- A Machine-Checked Proof of the Odd Order Theorem (International Conference on Interactive Theorem Proving)
- Formal Proof—The Four- Color Theorem
- Character Theory of Finite Groups
- SOLVABILITY OF GROUPS OF ODD ORDER
- The theory of finite groups : an introduction
- Finite Group Theory: Index
- Simplicial objects in algebraic topology
- Model Categories of Diagram Spectra (Proceedings of the London Mathematical Society)
- Model categories and their localizations
Their papers
- The simplicial model of Univalent Foundations (after Voevodsky) (2012) — 244 citations