Mechanical derivation and systematic analysis of correct linear algebra algorithms

Date

2006

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

text

Keywords

Citation

URI

http://hdl.handle.net/2152/2679

Collections

University of Texas at Austin