Algorithm 970

From MaRDI portal