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