Tze Beng Ng Computation of the Cohomology of BSO_n<16> for 23 <= n <= 26 Using REDUCE. 93-99 1989 7 J. Symb. Comput. 1 db/journals/jsc/jsc7.html#Ng89