Algorithm 858

From MaRDI portal