Two term rewriting algorithms of central importance in their domains: Gröbner bases for systems of polynomials in many variables, and the Schreier–Sims algorith

Two term rewriting algorithms of central importance in their domains: Gröbner bases for systems of polynomials in many variables, and the Schreier–Sims algorithm for computing with permutations.