formula, rule - (mathematics) a standard procedure for solving a class of mathematical problems; "he determined the upper bound with Descartes' rule of signs"; "he gave us a general formula for attacking polynomials"

sorting algorithm - an algorithm for sorting a list

stemming algorithm, stemmer - an algorithm for removing inflectional and derivational endings in order to reduce word forms to a common stem