P.G. Martinsson, Gregorio Quintana-Orti, Nathan Heaver, and R. van de Geijn, "Householder QR Factorization With Randomization for Column Pivoting." In review. Arxiv ...