Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE

DOI10.1016/S0747-7171(89)80009-4zbMath0663.55008OpenAlexW2047425985MaRDI QIDQ1114194

Tze Beng Ng

Publication date: 1989

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(89)80009-4

zbMATH Keywords

Gröbner basispolynomial algebra16-connected cover of BSO(n)classifying spaces of orthogonal groupscohomology of the 8-connected cover of BSO(n)Serre spectral sequence of a fibration

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Homology of classifying spaces and characteristic classes in algebraic topology (55R40) Serre spectral sequences (55T10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Construction of universal bundles. I
• Construction of universal bundles. II
• The mod 2 cohomology rings of extra-special 2-groups and the spinor groups
• A Note on the mod 2 Cohomology of BŜO_n〈l6〉
• Characteristic Classes. (AM-76)

This page was built for publication: Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE