La préhistoire

intro : Ces derniers temps, les LCF bénéficient d'une forte publicité dans le milieu scientifique. Mais ils existent depuis plus de 30 ans.

L'intégration est une partie très difficile de la théorie des LCF. Il n'existe pas d'algorithme général d'intégration formelle.

1833

: Liouville est le premier à mener une étude théorique sur l'intégration.

1844

: Ada, comtesse Lovelace pense déjà à utiliser les ordinateurs (qui ne sont encore que des machines à calcul mécanique) pour faire du calcul symbolique.

1940

: les ordinateurs prennent leur essor.

1953

: premières recherche sur le CF sont effectuées dans le domaine de la théorie des groupes, sur la dérivation formelle.

1954

: le CF est appliqué au domaine de la théorie des nombres

1957

: Dans le domaine de la logique, Newell et Shaw codent les axiomes de base des Principia Mathematica de Russell et Whitehead