L'un des premiers objectifs des informaticiens est de formaliser le raisonnement mathématique et les calculs algébriques. C'est pour cela qu'ils ont inventé le calcul symbolique. Les bases de Gröbner en sont un outil phare.