OP-00109 Lean verified Modulus-order determinant comparison with an arbitrary base power FA · determinantal inequalities · OpenProblemsInNLA · positive definite matrices
OP-00233 Solution claimed Uniqueness of positive definite solutions of two-letter word equations in order two NA · nonlinear matrix equations · OpenProblemsInNLA · positive definite matrices · word equations
OP-00250 Solution claimed Ghabries's determinant comparison for arbitrary nonnegative base powers FA · determinantal inequalities · OpenProblemsInNLA · positive definite matrices