OP-00086 Lean verified Johnson's derivative-realizability conjecture NA · critical points · inverse eigenvalue problems · nonnegative matrices · OpenProblemsInNLA
OP-00130 Open Monotonicity of the average number of critical rank-one approximations NA · critical points · OpenProblemsInNLA · random tensors · rank-one approximations