Algorithm 1015

From MaRDI portal