Calcul formel : systèmes et algorithmes de manipulations algébriques / James Harold, Davenport / Yvon, Siret / Évelyne, Tournier [ Livre]
Langue: Français ; de l'oeuvre originale, Français.Mention d'édition: 2e éd. réviséePublication : Paris : Masson, 1993Description : X-275 p. ; 25 cmISBN: 2225842000.Collection: Etudes et recherches en informatique, 0763-2770Classification: 004.13 Algorithmes algébriquesRésumé: Le Calcul Formel désigne la manipulation de formules et d'expressions mathématiques sur ordinateur. L'utilisation des systèmes pour le Calcul Formel est restée longtemps essentiellement du domaine de la recherche. Les progrès technologiques et l'évolution récente de ces systèmes (travail en temps partagé, simplicité des langages de programmation...) les rendent accessibles à toute personne (chercheurs scientifiques, ingénieurs, enseignants, étudiants...) ayant à traiter des formules mathématiques. Cette nouvelle édition, revue et corrigée, tient notamment compte de l'évolution récente des systèmes de calcul formel et traite de MACSYMA, de REDUCE, de DERIVE et, en particulier, d'AXIOM qui est un système tout récent, encore peu diffusé mais dont la structure permet de s'affranchir de certaines limites des autres systèmes et en fait le prototype de la future génération des systèmes de calcul formel. Sommaire 1. Initiation au Calcul Formel 2. La représentation des données 3. Simplification polynomiale 4. Algorithmique Avancée 5. Intégration formelle et équations différentielles.Sujet - Nom commun: Calcul formel -- Logiciels | Calcul formel | Algorithmes| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.13 DAV (Browse shelf) | Available | 004.13 Algorithmes algébriques | 00001322 |
Bibliogr. p. 255-269. Index
Le Calcul Formel désigne la manipulation de formules et d'expressions mathématiques sur ordinateur. L'utilisation des systèmes pour le Calcul Formel est restée longtemps essentiellement du domaine de la recherche. Les progrès technologiques et l'évolution récente de ces systèmes (travail en temps partagé, simplicité des langages de programmation...) les rendent accessibles à toute personne (chercheurs scientifiques, ingénieurs, enseignants, étudiants...) ayant à traiter des formules mathématiques.
Cette nouvelle édition, revue et corrigée, tient notamment compte de l'évolution récente des systèmes de calcul formel et traite de MACSYMA, de REDUCE, de DERIVE et, en particulier, d'AXIOM qui est un système tout récent, encore peu diffusé mais dont la structure permet de s'affranchir de certaines limites des autres systèmes et en fait le prototype de la future génération des systèmes de calcul formel.
Sommaire
1. Initiation au Calcul Formel
2. La représentation des données
3. Simplification polynomiale
4. Algorithmique Avancée
5. Intégration formelle et équations différentielles