Algorithm 786

From MaRDI portal