Computer algebra and desuspensions of stunted real projective spaces

Abstract

In this work we apply computer algebra methods to partially solve a geometric problem which arises in algebraic topology. This is related to a particularly interesting formal power series, the [2]-series. Although our motivation stems from topology, we define the problems in a purely combinatorial way and indicate its usefulness. The problem in its general form is a long standing conjecture. We exend results by Bendersky-Davis and Wilson by several dimensions.

Keywords:

• Algorithms
• Formal Power Series
• Algebraic Topology
• Symbolic Computations

C.R. Categories:

• I.1.2, G.2.1, [Algebraic Manipulation]: Algorithms-algebraic algorithms
• G.2.1 [Discrete Mathematics]: Combinatorics-combinatorial algorithms
• 1980 Mathematics Subject Classification (1985 Revision): Subject Index 55 Algebraic Topology.