RECHERCHEZ parmi plus de 10 000 articles de référence ou pratiques et 4 000 articles d'actualité
PAR DOMAINE D'EXPERTISE
PAR SECTEUR INDUSTRIEL
PAR MOTS-CLES
NAVIGUER DANS LA
CARTOGRAPHIE INTERACTIVE
DÉCOUVREZ toute l'actualité, la veille technologique GRATUITE, les études de cas et les événements de chaque secteur de l'industrie.
Article précédent
Systèmes de calcul formelArticle de référence | Réf : H3028 v1
Auteur(s) : Xavier JEANNEAU
Date de publication : 10 févr. 2002
Relu et validé le 27 avr. 2016
Article suivant
Coq, assistant de preuveCet article fait partie de l’offre
Technologies logicielles Architectures des systèmes (225 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Des Quiz interactifs pour valider la compréhension et ancrer les connaissances
Présentation
Lire l'article
Bibliographie & annexes
Inclus dans l'offre
5.1 Les tables ou comment utiliser des indices
Il est courant en mathématiques d’utiliser des notations indexées et cela vaut aussi pour Maple où les crochets permettent de noter les indices. Ainsi au paragraphe 3.3 avions-nous :
> restart:
> P[C]:=k[A]^2/a^2+k[B]^2/ b^2+2*k[A]*k[B]*c/a/ b –(2–k[A]–k[B])^2 ;
À l’issue de cette instruction, nous disposons donc de trois noms indexés : P C , k A et k B . k A et k B sont des indéterminées mathématiques tandis que P C , ayant reçu une valeur, devient le nom d’une variable informatique. L’usage qui en a été fait 3.3 montre bien que ces noms indexés peuvent être employés comme tout autre symbole.
Pour qu’un nom indexé comme k A soit une indéterminée, il faut non seulement qu’il n’y ait pas eu d’affectation de la forme k[A] :=... , mais pas non plus de la forme k:=...
Par ailleurs, si la variable P C peut être considérée comme une variable individuelle, l’instruction P[C]:=... définit en fait implicitement un objet nommé P, appelé table. Les tables comme les fonctions ne sont pas complètement...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
TECHNOLOGIES LOGICIELLES ARCHITECTURES DES SYSTÈMES
(1) - * - Pour le lecteur désireux d’étendre cette exploration, outre le mode d’emploi du logiciel HEAL (K.M.), HANSEN (M.L.), RICKARD (K.M.) - Maple V : learning guide., nous conseillons d’abord CORNIL (J.M.), TESTUD (P.) - Maple : introduction raisonnée à l’usage de l’étudiant, de l’ingénieur et du chercheur., très facile d’accès et couvrant l’essentiel des applications de niveau premier cycle universitaire. Si le lecteur est plus intéressé par l’approfondissement du calcul formel tel que nous l’avons esquissé, la meilleure référence est de loin GOMEZ (C.), SALVY (B.), ZIMMERMANN (P.) - Calcul formel : mode d’emploi – Exemples en Maple.. À l’inverse de notre approche, les exemples accompagnant ces deux ouvrages sont brefs et nombreux. Enfin, ceux qu’un peu plus de mathématiques n’effraie pas pourront consulter DUMAS (P.), GOURDON (X.) - Maple : son bon usage en mathématiques..
(2) - * - MIGNOTTE (M.) - Mathématiques pour le calcul formel. et DAVENPORT (J.), SIRET (Y.), TOURNIER (E.) - Calcul formel : systèmes et algorithmes de manipulations algébriques. sont deux références très classiques sur les mathématiques qui sous-tendent le calcul formel ; DAVENPORT (J.), SIRET (Y.), TOURNIER (E.) - Calcul formel : systèmes et algorithmes de manipulations algébriques. montre très bien quelles nouvelles recherches il suscite.
(3) - * - MONAGAN (M.B.), GEDDES (K.O.), HEAL (K.M.), LABAHN (G.), VORKOETTER (S.M.)...
Les exemples traités dans cet article ont été rédigés avec la version la plus répandue en 2001 : Maple V Release 5. Toutefois, depuis la Release 4 jusqu’à la toute dernière Release 7, aucune modification essentielle n’est intervenue sur le fonctionnement courant du logiciel et les instructions peuvent être adaptées sans changement important.
Fournisseur du logiciel : Waterloo Maple Inc.
Distributeur en France : Math Center
HAUT DE PAGE
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
TECHNOLOGIES LOGICIELLES ARCHITECTURES DES SYSTÈMES
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Articles interactifs
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES ARTICLES INTERACTIFS
Articles enrichis de quiz :
Expérience de lecture améliorée
Quiz attractifs, stimulants et variés
Compréhension et ancrage mémoriel assurés
DES SERVICES ET OUTILS PRATIQUES
Archives
Technologies anciennes et versions
antérieures des articles
Votre site est 100% responsive,
compatible PC, mobiles et tablettes.
FORMULES
Formule monoposte | Autres formules | |
---|---|---|
Ressources documentaires | ||
Consultation HTML des articles | Illimitée | Illimitée |
Quiz d'entraînement | Illimités | Illimités |
Téléchargement des versions PDF | 5 / jour | Selon devis |
Accès aux archives | Oui | Oui |
Info parution | Oui | Oui |
Services inclus | ||
Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
Articles Découverte | 5 / an | Jusqu'à 7 par an |
Dictionnaire technique multilingue | Oui | Oui |
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
Formule 12 mois 2 060 € HT |
Autres formules |
1 - QU’EST-CE QUE LE CALCUL FORMEL ?
2 - LES EXPRESSIONS, OBJETS DE BASE DU CALCUL FORMEL
3 - TRAITEMENT DES DONNÉES MULTIPLES
4 - POUR FAIRE DE L’ANALYSE : FONCTIONS OU EXPRESSIONS ?
5 - VECTEURS ET MATRICES : CALCULER AVEC DES TABLEAUX
6 - MAPLE EST-IL UN LANGAGE DE PROGRAMMATION ?
Information
Quiz d'entraînement bientôt disponible
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
ÉDITION - FORMATION - CONSEIL :
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
SOLUTION EN LIGNE
Automatique - Robotique | Biomédical - Pharma | Construction et travaux publics | Électronique - Photonique | Énergies | Environnement - Sécurité | Génie industriel | Ingénierie des transports | Innovation | Matériaux | Mécanique | Mesures - Analyses | Procédés chimie - bio - agro | Sciences fondamentales | Technologies de l'information
PAIEMENT
SÉCURISÉ
OUVERTURE RAPIDE
DE VOS DROITS
ASSISTANCE TÉLÉPHONIQUE
+33 (0)1 53 35 20 20