Williamson matrices

Here, we collect our work regarding the verification of the Hadamard conjecture up to certain orders.

The matrices we submitted to the Magma team can be found in the Hadamard matrix collection subpage. The scripts and instances used to verify the non-existence of Williamson matrices of order 35 can be found in the verification subpage. It was previously known that 35 is the smallest odd number with that property; we showed that it is in fact the smallest positive number with that property by constructing Williamson matrices for all orders below 35, including those of even orders. The latest version of the MathCheck2 scripts can be found in the Bitbucket repository.