  The aim of this paper is to present a new, analytical, method for computing
the exact number of relative equilibria in the planar, circular, restricted
4-body problem of celestial mechanics. The new approach allows for a very
efficient computer-aided proof, and opens a potential pathway to proving harder
instances of the n-body problem.
