Numerical software
Mathematics
Computational group theory
Donald Knuth
KnuthBendix completion algorithm
GCD test