Sketching as a tool for numerical linear algebraDavid P. Woodruff2014Foundations and Trends in Theoretical Computer Science