ein Allzwecksystem für Probleme der Computeralgebra. Es wurde Ende der 60er Jahre von A.C. Hearn entwickelt. Mit Reduce kann man numerisch und symbolisch rechnen. Reduce besitzt eine Programmiersprache, in der eigene Bibliotheken entwickelt werden können.