Qu’est-ce que le calcul formel ?
Calcul formel avec Maple

Ajouter à la bibliothèque

H3028 V1 Article de référence

Qu’est-ce que le calcul formel ?
Calcul formel avec Maple

Auteur(s) : Xavier JEANNEAU

Relu et validé le 27 avril 2016 | 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é ?

1. Qu’est-ce que le calcul formel ?

1.1 Une démonstration avec Maple : les cercles de Villarceau

Voici un problème classique de géométrie illustrant bien ce que permet Maple .

On considère dans un plan de l’espace un cercle Γ de centre ω et de rayon r et une droite Δ située à une distance R  >  r de ω. Par rotation de ce cercle autour de l’axe Δ, on obtient la surface T bien connue appelée tore. Soit alors un repère orthonormal O xyz , où O est la projection de ω sur...

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é ?


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
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous