Pan, C.-T.Sigmon, Kermit2007-08-162007-08-161992-07https://hdl.handle.net/11299/1932A bottom-up inductive proof of the singular value decomposition