An application of computer algebra to algebraic topology

Abstract

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.

Keywords:

• Algorithms
• formal power series
• algebraic topology
• symbolic computations
• power series reversion

^∗Partially supported by a Naval Academy Research Center grant.

^∗Partially supported by a Naval Academy Research Center grant.

Notes

^∗Partially supported by a Naval Academy Research Center grant.