An application of computer algebra to algebraic topology

In this work we study a certain formal power series that is of considerable interest to algebraic topologists, the [p ^k ]-series. We define the series in a purely combinatorial way and indicate its usefulness. Then, by using computer algebra techniques, we compute it up to a high coefficient. Our computation has led to some interesting information on the coefficients of the [p ^k ]-series.