OP-00104 Lean verified Freewan–Hayajneh inequality for sums of weighted geometric means FA · matrix geometric means · OpenProblemsInNLA · unitarily invariant norms
OP-00105 Lean verified Lemos–Soares singular-value log-majorization FA · log-majorization · matrix geometric means · OpenProblemsInNLA · singular values
OP-00106 Lean verified Corrected generalized geometric-mean product conjecture FA · eigenvalues · log-majorization · matrix geometric means · OpenProblemsInNLA
OP-00249 Solution claimed Schatten norm complement involving Lin's positive definite quantity FA · matrix geometric means · norm inequalities · OpenProblemsInNLA · Schatten norms