OP-00102 Lean verified Nobori's spectral-middle-factor commutator conjecture FA · Böttcher–Wenzel inequality · commutators · norm inequalities · OpenProblemsInNLA
OP-00142 Open The complex Lu–Wenzel spectral conjecture FA · Böttcher–Wenzel inequality · commutators · eigenvalue inequalities · OpenProblemsInNLA
OP-00248 Solution claimed A sum-of-squares representation for the Toeplitz commutator form FA · Böttcher–Wenzel inequality · OpenProblemsInNLA · sums of squares · Toeplitz matrices