共 4 条
- [2] Polynomial model for homotopy fibers associated with the James construction Mathematische Zeitschrift, 2001, 237 : 149 - 180
- [4] The James Construction and π4(S3)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\pi _4(\mathbb {S}^{3})$$\end{document} in Homotopy Type Theory Journal of Automated Reasoning, 2019, 63 (2) : 255 - 284