Systèmes de calcul formel à large spectre
Systèmes de calcul formel

Ajouter à la bibliothèque

H3308 V1 Article de référence

Systèmes de calcul formel à large spectre
Systèmes de calcul formel

Auteur(s) : Didier PINCHON

Date de publication : 10 décembre 1996 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

3. Systèmes de calcul formel à large spectre

Il existe plusieurs centaines de systèmes ou langages de calcul formel. Nous ne donnons ici que quelques caractéristiques des langages à large spectre les plus répandus.

3.1 Macsyma

L’une des composantes du projet MAC du Massachusetts Institute of Technology a été, à partir de 1969, la réalisation du MAC’s SYmbolic MAnipulator (Macsyma). Les possibilités algébriques de Macsyma sont extrêmement variées : différentiation et intégration des fonctions, calculs de limites, résolution de systèmes d’équations linéaires ou polynomiales, développement des fonctions en série de Taylor ou de Laurent, séries trigonométriques, calculs matriciel et tensoriel, tracé de courbes.

Un langage de haut niveau permet à l’utilisateur d’écrire ses propres programmes...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Systèmes de calcul formel à large spectre

Article inclus dans l'offre

"Technologies logicielles Architectures des systèmes"

( 408 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

La fusion multipistes

Au sein des systèmes de surveillance multisenseurs, la fusion multipistes a pour objectif d'éviter la sur...

Validation des résultats des logiciels scientifiques - Problème des approximations arithmétiques

Depuis plusieurs décennies maintenant, l’ordinateur effectue un nombre important d’opérations arithmétiqu...

Validation des résultats des logiciels scientifiques - Approche stochastique

La méthode CESTAC (Contrôle et estimation stochastique des arrondis de calculs) consiste à évaluer la fia...

Tous les livres blancs
Article Vers un nouveau record des cyberattaques ?
25 septembre 2019
Vers un nouveau record des cyberattaques ?

Année après année, c’est toujours le même constat : peu ou mal protégées, les entreprises et les administrations sont de plus en plus nombreuses à être victimes...

Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous