Hadamard matrices of Williamson type: A challenge for Computer Algebra.

Ilias S. Kotsireas Christos Koukouvinos

Published in: J. Symb. Comput. (2009)

Keyphrases

computer algebra
theorem prover
data sets
database
real time
search engine
singular value decomposition
computer algebra systems
neural network
data mining
image sequences
pairwise