OFFSET
1,1
COMMENTS
Each solution (a,b,c,d) corresponds to a Hadamard matrix of quaternion type H = [[A, B, C, D], [-B, A, -D, C], [-C, D, A, -B], [-D, -C, B, A]], where A, B, C and D are circulant matrices formed by a, b, c and d, respectively.
16 is a divisor of a(n), for all n. If (a,b,c,d) is a solution, then each of the 16 tuples ((+-)a, (+-)b, (+-)c, (+-)d) is also a solution.
LINKS
Jeffery Kline, A complete list of solutions (a,b,c,d), for 1<=n<=7.
Jeffery Kline, List of tuples (a,b,c,d) to demonstrate that a(n)>0, for 1<=n<=22 and n=24.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jeffery Kline, Dec 21 2018
STATUS
approved