From any configuration of finitely many points in Euclidean three-space, Atiyah
constructed a determinant and conjectured that it was always non-zero. In this
article we prove the conjecture for the case of four points.
Received: 26 October 2001
Revised: 10 November 2001
Accepted: 26 November 2001
Published: 26 November 2001
Proposed: Walter Neumann
Seconded: Ralph Cohen, Steven Ferry