Applying computer algebra systems with SAT solvers to the Williamson conjecture
From MaRDI portal
Publication:2307627
DOI10.1016/j.jsc.2019.07.024zbMath1432.68595arXiv1804.01172WikidataQ123258048 ScholiaQ123258048MaRDI QIDQ2307627
Ilias S. Kotsireas, Vijay Ganesh, Curtis Bright
Publication date: 24 March 2020
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.01172
68W30: Symbolic computation and algebraic computation
05B20: Combinatorial aspects of matrices (incidence, Hadamard, etc.)
Uses Software