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

The author presents the result of a computation of \(H^*(B\hat SO_ n<8>;{\mathbb{Z}}_ 2)\) for 23\(\leq n\leq 26\), which allows to write down the polynomial structure of \(H^*(B\hat SO_ n<16>;{\mathbb{Z}}_ 2),\) 23\(\leq n\leq 26\), explicitly. He uses Gröbner basis method in the computation. It seems that the method can be extended to the computation of the \(E_{\infty}\) term of some Leray-Serre spectral sequence of a fibration when the mod 2 cohomology ring of the base space is a polynomial algebra over \({\mathbb{Z}}_ 2\).