Central Configurations of the 5-body problem with equal masses in three-dimensional space

We enumerate central configurations with axial symmetry in the 5-body problem with equal masses in three-dimensional space. It is thus shown, that only two of these configurations, have a unique symmetry axis. The use of Symbolic Computation techniques is necessary because of the very tedious computations involved in the proof.