共 50 条
- [3] Spaces of polynomials with real roots of bounded multiplicity JOURNAL OF MATHEMATICS OF KYOTO UNIVERSITY, 2002, 42 (01): : 105 - 115
- [4] The real projective spaces in homotopy type theory 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
- [5] Spaces of holomorphic maps with bounded multiplicity QUARTERLY JOURNAL OF MATHEMATICS, 2001, 52 : 249 - 259
- [7] Complements of resultants and homotopy types JOURNAL OF MATHEMATICS OF KYOTO UNIVERSITY, 1999, 39 (04): : 675 - 684
- [10] HOMOTOPY TYPE OF LOOP SPACES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 110 - &