Algorithm 838

From MaRDI portal