Proof Index
th-ImpQ |
th-Sectral-Decomposition |
th-orth-equiv |
th-pre-reflect |
th-realEigs-symmetric |
th-unitary |
theorem-Schur-triangular |
theorem-block-eigs |
theorem-product-eigs |
theorem-similar |
theorem-sum-eigs
| th-ImpQ | ||
th-ImpQ (OrthogonalFactoring/SchurFrancis) | theorem | |
| th-Sectral-Decomposition | ||
th-Sectral-Decomposition (OrthogonalFactoring/Symmetric) | theorem | |
| th-orth-equiv | ||
th-orth-equiv (OrthogonalFactoring/SVDcalc) | theorem | |
| th-pre-reflect | ||
th-pre-reflect (OrthogonalFactoring/Turnbull) | theorem | |
| th-realEigs-symmetric | ||
th-realEigs-symmetric (OrthogonalFactoring/Symmetric) | theorem | |
| th-unitary | ||
th-unitary (OrthogonalFactoring/Turnbull) | lemma | |
| theorem-Schur-triangular | ||
theorem-Schur-triangular (OrthogonalFactoring/Schur) | theorem | |
| theorem-block-eigs | ||
theorem-block-eigs (OrthogonalFactoring/Francis_eig) | theorem | |
| theorem-product-eigs | ||
theorem-product-eigs (OrthogonalFactoring/Schur) | corollary | |
| theorem-similar | ||
theorem-similar (OrthogonalFactoring/similar) | theorem | |
| theorem-sum-eigs | ||
theorem-sum-eigs (OrthogonalFactoring/Schur) | corollary |
