OP-00119 Lean verified The smallest-multiplier rule for nearest unit-absolute-determinant matrices NA · Euclidean distance degree · matrix nearness problems · OpenProblemsInNLA
OP-00154 Partially resolved The Euclidean distance degree of the real symplectic group NA · Euclidean distance degree · matrix nearness problems · OpenProblemsInNLA · symplectic groups
OP-00157 Partially resolved Unitary-orbit distance under finite block repetition NA · matrix nearness problems · normal matrices · OpenProblemsInNLA · unitary orbits
OP-00320 Solution claimed A real nearest matrix with spectrum in the closed left half-plane NA · AIM Open Applied Problems · Hurwitz stable matrices · matrix nearness problems