La première génération

1963

: LCF spécialisés en math (CAYLEY: théorie des groupes), en physique (SHEEP : relativité générale, MAO: mécanique céleste) + LCF ``à tout faire''.

1964

: ALPACK : premier LCF commercial ; FORMAC créé par IBM : premier LCF réellement utilisé. FORMAC fait des subs, expand, coeff, collect, equivalence, simplif, diff, evalf via fortran MAIS pas d'intégration.

1965

: conférence SIGSAM (Special Interest Group for Symbolic and Algebraic Manipulation)

1966

: IBM crée un logiciel interne : SCRATCHPAD

1967

: Moses au MIT élabore au cours de sa thèse sur l'intégration formelle le programme SIN

1968

: publication de Risch sur la théorie de l'intégration. Il généralise les résultats de Liouville (1833 !) sur la théorie des fonctions élémentaires. En 1969, Risch donne plusieurs théorèmes donnant la forme générale des intégrales élémentaires et un algorithme général d'intégration de ces fonctions. Pendant ce temps, 3 LCF, entre autres, voient le jour:

• ALTRAN (extension de ALPACK)
• MATHLAB
• REDUCE commencé en 1963, écrit en LISP, d'abord spécialisé en physique, il deviendra par la suite un LCF général.

1970

: Macsyma, à l'origine de la plupart des LCF actuels

1971

: SCHOONSHIP: le seul LCF capable de mener des calculs symboliques très lourds ; 2ème conférence SIGSAM : le matériel info ayant évolué considérablement depuis les années 60, les entrées sorties sont, pour la première fois en 2D.

1977

: Premiers ordinateurs personnels arrivent sur le marché

1979

: succès commercial de MUMATH, LCF pour PC

1980

: nouvelle version de REDUCE

1982

: SMP ancêtre de Mathematica voit le jour: c'est un échec.

1985

: Maple, naît au Canada à l'université de Waterloo. MATHCAD est lancé la même année. Simultanément, le premier environnement mathématique pour ordinateur perso Macintosh apparaît sous le nom de POWERMATH

1988

: DERIVE (actuellement sur calculette); THEORIST, PARI (calculs rapides de théorie des nombres) ; Lancement de Mathematica.

1989

: FORM, destiné aux très gros problèmes symboliques, est écrit en C, manipule des millions de termes, ne résout pas les équations mais est un outil pour résoudre des équations particulières. (gratuit)

1990

: SYMBMATH, JACAL

1991

: AXIOM, requiert grosse machine ; utilisé en mathématiques : permet de créer des nouveaux ``types'' de structures mathématiques. Par exemple, héritage des propriétés de types parents, polymorphisme des algorithmes (un même algorithme est utilisable sur des données de structure différente). C'est en fait la nouvelle version de SCRATCHPAD.

1992

: GnuCalc calculateur symbolique assez complet, tourne sous l'éditeur Emacs.

1994

: Maple V.3

1996

: Maple V.4