Mechanical derivation and systematic analysis of correct linear algebra algorithms

Description

Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.

Links & Downloads

1. http://repositories.lib.utexas.edu/bitstream/handle/2152/2679/bientinesip32303.pdf

Tags

Algebras, Linear Algorithms.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/85861126
Date	January 1900
Creators	Bientinesi, Paolo,
Publisher	[Austin, Tex. : University of Texas Libraries,
Source Sets	OCLC
Language	English
Detected Language	English