Calcul formel : systèmes et algorithmes de manipulations algébriques / J. Davenport / Y. Siret / E. Tournier [ Livre]

Auteur principal: Davenport, James HaroldCo-auteur: Siret, Yvon;Tournier, ÉvelyneLangue: Français ; de l'oeuvre originale, Français.Mention d'édition: 2e éd. réviséePublication : Paris, Milan, Barcelone : Masson, 1993Description : X-275 p. ; 25 cmISBN: 2225842000.Collection: Etudes et recherches en informatique, 0763-2770Classification: F 2 Analyse des algorithmes et complexitéRé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
F 2 DAV (Browse shelf) Available F 2 Analyse des algorithmes et complexité 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

Powered by Koha