Householder triangularization of a quasimatrix

A standard algorithm for computing the QR factorization of a matrix A is Householder triangularization. Here this idea is generalized to the situation in which A is a quasimatrix, that is, a 'matrix' whose 'columns' are functions defined on an interval [a, b]. Applications are me...