OP-00120 Lean verified Symmetric minimizer for a positive definite Jordan–Kronecker product NA · Kronecker products · OpenProblemsInNLA · Rayleigh quotients
OP-00213 Solution claimed Rayleigh–Ritz discriminant degrees for rank-one matrices AG · discriminants · OpenProblemsInNLA · Rayleigh quotients · Segre varieties
OP-00215 Solution claimed Degrees of the two Rayleigh–Ritz discriminant parts for rational normal curves AG · discriminants · OpenProblemsInNLA · rational normal curves · Rayleigh quotients