Calcul ombral

Carte Commune · n° 342075

En mathématiques, le calcul ombral est le nom d'un ensemble de techniques de calcul formel qui, avant les années 1970, était plutôt appelé calcul symbolique. Il s'agit de l'étude des similarités surprenantes entre certaines formules polynomiales a priori non reliées entre elles, et d'un ensemble de règles de manipulation (au demeurant assez peu claires) pouvant être utilisées pour les obtenir (mais non les démontrer). Ces techniques furent introduites en 1861 par John Blissard (en) (et sont parfois connues sous le nom de méthode symbolique de Blissard), mais elles sont souvent attribuées à James Joseph Sylvester, qui les utilisa de manière extensive, ou à Édouard Lucas. On a parfois également employé le terme de calcul symbolique pour désigner le calcul opérationnel de Heaviside, mais les deux méthodes n'ont que peu de points communs. Dans les années 1930 et 1940, Eric Temple Bell essaya, sans grand succès, de donner des bases rigoureuses au calcul ombral. Dans les années 1970,...

Lire sur Wikipédia