Réduire une expression littérale

Ce terme est dérivé du verbe "duire" en Latin, dans le sens de "ramener". Il a été utilisé pour la première fois en mathématiques en 1690 :

‘"On le trouve en français dès le Moyen Âge dans le sens d’anéantir. La Renaissance calque son sens le latin. Le mot réduction apparaît en mathématiques dès 1690 dans le dictionnaire de la Furetière". Hauchecorne, 2003) ’

On ne trouve pas le verbe "réduire" dans Bouvier et al, 2005. En revanche, il y a "reduce", "réduction", "réduit", "réduite" et "réduites". "Reduce" est utilisé la première fois, pour la manipulation formelle et la simplification algébrique, en informatique dans le langage de programmation vers 1968. Or, il n’y a pas d'indications sur la façon dont ce terme est utilisé, ni la signification de "simplification algébrique". Par ailleurs, ce terme a plusieurs sens correspondant à différents contextes (en calcul algébrique ; en fractions, réduites associées à un nombre irrationnel  positif ; équations ; algèbre linéaire ; en physique, éléments de réduction d’un torseur en un point O ; en technologie, les réduites permettent de déterminer les nombres de dents de deux engrenages en prise en façon que le rapport des vitesses de rotation ; etc.). Or, aucun de ces contextes revient au calcul littéral. D’ailleurs, il y a renseignement sur la forme "réduite"dans le cas des équations :

‘Forme réduite d’une équation du troisième degré z3+az2+bz+c=0.– Equation de la forme x3+px+q=0 obtenue en posant z=x-1/3 a.’