共 50 条
- [21] RATIONAL HOMOTOPY TYPE OF MAPPING SPACES BETWEEN COMPLEX PROJECTIVE SPACES AND THEIR EVALUATION SUBGROUPS COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY, 2022, 37 (01): : 259 - 267
- [22] TORUS ACTIONS ON HOMOTOPY COMPLEX PROJECTIVE SPACES - PRELIMINARY-REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (01): : A196 - A196
- [27] DIFFERENTIABLE ACTIONS OF S1 ON HOMOTOPY COMPLEX AND QUATERNION PROJECTIVE SPACES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (02): : A341 - A342
- [28] TYPE OF STABLE HOMOTOPY IN STUNTED PROJECTIVE SPACES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 276 (26): : 1665 - 1668
- [29] RATIONAL HOMOTOPY OF SOME STUNTED PROJECTIVE SPACES COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1975, 280 (08): : 493 - 496
- [30] The real projective spaces in homotopy type theory 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,