OP-00095 Lean verified Imaginary-part rank in a limiting Green-function matrix equation NA · Green's functions · nonlinear matrix equations · OpenProblemsInNLA · quadratic eigenvalue problems
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