Calcul formel [ Livre] : systèmes et algorithmes de manipulations algébriques / Davenport James Harold ; Siret Yvon ; Tournier Evelyne

Langue: Français.Publication : Masson, 1993Description : X-275 p.ISBN: 22258420009.Collection: Études et recherches en informatiqueClassification: F 2 1 Algorithmes algèbriquesRésumé: 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
Magasin (archives)
F 2 1 DAV (Browse shelf) Available F 2 1 Algorithmes algèbriques 00004881

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

Powered by Koha