Proof Index
SymRealEig |
similarMatrices |
th-EckartYoung |
th-Schur-triangular |
th-clt |
th-eig-block |
th-implicitQ |
th-indepEigs |
th-nullSVD |
th-orthogonallyEquiv |
th-rankSVD |
th-spect-decomp |
th-spectral |
th-svdexists
| SymRealEig | ||
SymRealEig (OrthogonalFactoring/Symmetric) | theorem | |
| similarMatrices | ||
similarMatrices (OrthogonalFactoring/similar) | theorem | |
| th-EckartYoung | ||
th-EckartYoung (svd/dimRed) | theorem | |
| th-Schur-triangular | ||
th-Schur-triangular (OrthogonalFactoring/Schur) | theorem | |
| th-clt | ||
th-clt (stats/CLT) | theorem | |
| th-eig-block | ||
th-eig-block (OrthogonalFactoring/SchurFrancis) | theorem | |
| th-implicitQ | ||
th-implicitQ (OrthogonalFactoring/SchurFrancis) | theorem | |
| th-indepEigs | ||
th-indepEigs (appendix/IndepEigs) | theorem | |
| th-nullSVD | ||
th-nullSVD (svd/subspaces) | theorem | |
| th-orthogonallyEquiv | ||
th-orthogonallyEquiv (OrthogonalFactoring/SVDcalc) | theorem | |
| th-rankSVD | ||
th-rankSVD (svd/SVDrank) | theorem | |
| th-spect-decomp | ||
th-spect-decomp (OrthogonalFactoring/Symmetric) | theorem | |
| th-spectral | ||
th-spectral (linAlg/matrix_work) | theorem | |
| th-svdexists | ||
th-svdexists (svd/svdGeometry) | theorem |
