ProxSDP (Q1353883)

From MaRDI portal