We give an algorithm to obtain formulae and values for miners of Hadamard m
atrices. One step in our algorithm allows the (n - j) x (n - j) miners of a
Hadamard matrix to be given in terms of the miners of a 2(j-1). 2(j-1) mat
rix. In particular we illustrate our algorithm by finding explicitly all th
e (n - 4) x (n - 4) miners of a Hadamard matrix. (C) 2001 Elsevier Science
Inc. All rights reserved.