Applying computer algebra systems with SAT solvers to the Williamson conjecture
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 …
computer algebra systems and SAT solvers—to study the Williamson conjecture from …
Enumeration of complex Golay pairs via programmatic SAT
We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying
that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This …
that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This …
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
We use techniques from the fields of computer algebra and satisfiability checking to develop
a new algorithm to search for complex Golay pairs. We implement this algorithm and use it to …
a new algorithm to search for complex Golay pairs. We implement this algorithm and use it to …
A SAT+ CAS method for enumerating Williamson matrices of even order
We present for the first time an exhaustive enumeration of Williamson matrices of even order
n< 65. The search method relies on the novel SAT+ CAS paradigm of coupling SAT solvers …
n< 65. The search method relies on the novel SAT+ CAS paradigm of coupling SAT solvers …
New infinite families of perfect quaternion sequences and Williamson sequences
We present new constructions for perfect and odd perfect sequences over the quaternion
group Q 8. In particular, we show for the first time that perfect and odd perfect quaternion …
group Q 8. In particular, we show for the first time that perfect and odd perfect quaternion …
[PDF][PDF] A new form of Williamson's product theorem
C Bright - arXiv preprint arXiv:1711.07056, 2017 - arxiv.org
arXiv:1711.07056v1 [math.CO] 19 Nov 2017 Page 1 arXiv:1711.07056v1 [math.CO] 19 Nov
2017 A New Form of Williamson’s Product Theorem Curtis Bright University of Waterloo …
2017 A New Form of Williamson’s Product Theorem Curtis Bright University of Waterloo …
[PDF][PDF] Hadamard 160 in Cool Tones
B Lee, C Bright - 2021 - jp.maplesoft.com
Hadamard 160 in Cool Tones is a mathematical cross-stitch and the result of a collaboration
between artist Bridjet Lee and mathematician Curtis Bright. Lee picked up cross-stitching as …
between artist Bridjet Lee and mathematician Curtis Bright. Lee picked up cross-stitching as …
A doubling construction for Williamson matrices
C Bright - arXiv preprint arXiv:1803.01480, 2018 - arxiv.org
arXiv:1803.01480v1 [math.CO] 5 Mar 2018 Page 1 arXiv:1803.01480v1 [math.CO] 5 Mar 2018
A doubling construction for Williamson matrices Curtis Bright University of Waterloo October 15 …
A doubling construction for Williamson matrices Curtis Bright University of Waterloo October 15 …