Аннотация:
For the case of 4 points in Euclidean space, we present a computer aided proof of Conjectures II and III made by Atiyah and Sutcliffe regarding Atiyah's determinant along with an elegant factorization of the square of the imaginary part of Atiyah's determinant.