Van de Geijn, Robert A.858611262008-08-282017-05-112008-08-282017-05-112006http://hdl.handle.net/2152/2679textelectronicengCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.Algebras, Linear--Data processingAlgorithmsMechanical derivation and systematic analysis of correct linear algebra algorithmsThesis