Mechanical derivation and systematic analysis of correct linear algebra algorithms
| Title: | Mechanical derivation and systematic analysis of correct linear algebra algorithms |
| Author: | Bientinesi, Paolo |
| Abstract: | Not available |
| Department: | Computer Sciences |
| Subject: |
Algebras, Linear--Data processing
Algorithms |
| URI: | http://hdl.handle.net/2152/2679 |
| Date: | 2006 |
Files in this work
This work appears in the following Collection(s)
-
UT Electronic Theses and Dissertations
ETD is a collection of UT Austin authored electronic dissertations.