OP-00114 Lean verified Rational factors for rational completely positive boundary matrices NA · completely positive matrices · OpenProblemsInNLA · rational factorizations
OP-00261 Solution claimed The maximum cp-rank in order six NA · completely positive matrices · cp-rank · OpenProblemsInNLA