1. Notion de système de calcul formel
1.1 Raisons du développement du calcul formel
Dans la mesure où de nombreux calculs peuvent être menés en utilisant des procédés ayant un caractère d’automatisme, il est logique d’envisager de les faire effectuer par un ordinateur. C’est ainsi que les premiers programmes réalisant des calculs symboliques complexes ont été mis au point dans les années 60 par les physiciens théoriciens dans les domaines de la mécanique céleste, de la relativité générale et surtout de la physique atomique pour l’étude des particules élémentaires.
L’exemple le plus souvent cité est celui du calcul algébrique des éphémérides de la Lune effectué à la main par l’astronome français C. Delaunay de 1847 à 1867. Un programme de calcul symbolique réalisé en 1970 par A. Deprit, J. Henrard...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Notion de système de calcul formel
Exemples de calculs
Bibliographie
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
