Mechanical derivation and systematic analysis of correct linear algebra algorithms

Simple item page
dc.contributor.advisorVan de Geijn, Robert A.en
dc.creatorBientinesi, Paoloen
dc.date.accessioned2008-08-28T23:02:19Zen
dc.date.accessioned2017-05-11T22:17:25Z
dc.date.available2008-08-28T23:02:19Zen
dc.date.available2017-05-11T22:17:25Z
dc.date.issued2006en
dc.descriptiontexten
dc.description.departmentComputer Sciencesen
dc.format.mediumelectronicen
dc.identifierb64918889en
dc.identifier.oclc85861126en
dc.identifier.urihttp://hdl.handle.net/2152/2679en
dc.language.isoengen
dc.rightsCopyright 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.en
dc.subject.lcshAlgebras, Linear--Data processingen
dc.subject.lcshAlgorithmsen
dc.titleMechanical derivation and systematic analysis of correct linear algebra algorithmsen
dc.type.genreThesisen

Files

Collections

University of Texas at Austin