Notice bibliographique
Livre
Calcul formel : systèmes et algorithmes de manipulations algébriques / James Harold, Davenport / Yvon, Siret / Évelyne, Tournier .- 2e éd. révisée .- Paris : Masson, 1993 .- , X-275 p. ; 25 cm .- (Etudes et recherches en informatique, 0763-2770)
Bibliogr. p. 255-269. Index.
ISBN : 2225842000
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
Auteur(s) : Davenport, James Harold / Siret , Yvon / Tournier , Évelyne /
Sujet(s) :
Calcul formel -- Logiciels
Calcul formel
Algorithmes