Reduce is the language used in the computer algebra system of the same name. See Also Wikipedia:Reduce (computer algebra system)