There is no circulant weighing matrix of order 60 and weight 36

TL;DR

This paper uses computational methods to prove that no circulant weighing matrix of order 60 and weight 36 exists, resolving a specific open problem in combinatorial design theory.

Contribution

The paper provides a computer-assisted proof confirming the non-existence of a particular circulant weighing matrix, advancing knowledge in combinatorial matrix theory.

Findings

No circulant weighing matrix of order 60 and weight 36 exists

Computational methods can effectively resolve existence questions in combinatorial design

The result settles an open problem in the field

Abstract

With the help of a computer, we prove the assertion made in the title.