We employ tools from the fields of symbolic computation and satisfiability checking— namely, computer algebra systems and SAT solvers—to study the Williamson conjecture from combinatorial design theory and increase the bounds to which Williamson matrices have been enumerated. In particular, we completely enumerate all Williamson matrices of even order up to and including 70 which gives us deepe...

The present investigation aims to examine the heat flux mechanism in hagnetohydrodynamic (MHD) mixed convective flow of Williamson-type fluid across an exponential stretching porous curved surface. significant role thermal conductivity (variable), non-linear radiation, unequal source-sink, and Joules heating is considered. governing problems are obtained using Navier–Stokes theory, appropriate ...

It is shown that if q is a prime power then there are Williamson-type matrices of order (i) 1/2q2(q + 1) when q ≡ 1 (mod 4), (ii)1/4q2(q + 1) when q ≡ 3 (mod 4) and there are Williamson-type matrices of order l/4(q + 1). This gives Williamson-type matrices for the new orders 363, 1183, 1805, 2601, 3174, 5103. The construction can be combined with known results on orthogonal designs to give an H...