A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
37 résultat(s) recherche sur le mot-clé 'calcul formel'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Calcul formel : mode d'emploi / Claude GOMEZ (Cop. 1995)
Titre : Calcul formel : mode d'emploi : exemples en MAPLE Type de document : texte imprimé Auteurs : Claude GOMEZ, Auteur ; Bruno SALVY, Auteur ; Paul ZIMMERMANN, Auteur Editeur : Paris : Masson Année de publication : Cop. 1995 Collection : Logique mathématiques informatique, ISSN 0995-2179 num. 13 Importance : XII-327 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-225-84780-6 Note générale : 2e tirage avec mise à jour Maple V.4 Langues : Français Mots-clés : calcul formel MAPLE informatique algorithme Note de contenu : index, bibliogr. Calcul formel : mode d'emploi : exemples en MAPLE [texte imprimé] / Claude GOMEZ, Auteur ; Bruno SALVY, Auteur ; Paul ZIMMERMANN, Auteur . - Paris : Masson, Cop. 1995 . - XII-327 p. : ill.. - (Logique mathématiques informatique, ISSN 0995-2179; 13) .
ISBN : 978-2-225-84780-6
2e tirage avec mise à jour Maple V.4
Langues : Français
Mots-clés : calcul formel MAPLE informatique algorithme Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E397 GOM/CAE 381 Livre Enseignement Salle Disponible E804 GOM/CAE 722 Livre Enseignement Salle Disponible i1904 GOM/68/i1904 Livre Recherche Salle Disponible Calcul formel / J. DAVENPORT (1987)
Titre : Calcul formel : systèmes et algorithmes de manipulations algébriques Type de document : texte imprimé Auteurs : J. DAVENPORT, Auteur ; Yvon SIRET, Auteur ; Evelyne TOURNIER, Auteur Editeur : Paris : Masson Année de publication : 1987 Collection : Etudes et recherches en informatique, ISSN 0763-2770 Importance : 263 p. ISBN/ISSN/EAN : 978-2-225-80990-3 Langues : Français Mots-clés : calcul formel algorithme manipulation algébrique Calcul formel : systèmes et algorithmes de manipulations algébriques [texte imprimé] / J. DAVENPORT, Auteur ; Yvon SIRET, Auteur ; Evelyne TOURNIER, Auteur . - Paris : Masson, 1987 . - 263 p.. - (Etudes et recherches en informatique, ISSN 0763-2770) .
ISBN : 978-2-225-80990-3
Langues : Français
Mots-clés : calcul formel algorithme manipulation algébrique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité E541 DAV/CAE 666 Livre Enseignement Salle Disponible 7635 DAV/68/6167 Livre Recherche Salle Perdu
Exclu du prêtAlgèbre et calcul formel / Loïc FOISSY (DL 2017)
Titre : Algèbre et calcul formel : Agrégation de mathématiques option C Type de document : texte imprimé Auteurs : Loïc FOISSY, Auteur ; Alain NINET, Auteur Editeur : Paris : Ellipses Année de publication : DL 2017 Collection : Références sciences, ISSN 2260-8044 Importance : 456 p. ISBN/ISSN/EAN : 978-2-340-01668-2 Langues : Français Mots-clés : algèbre calcul formel agrégation de mathématiques Note de contenu : index, bibliogr. Algèbre et calcul formel : Agrégation de mathématiques option C [texte imprimé] / Loïc FOISSY, Auteur ; Alain NINET, Auteur . - Paris : Ellipses, DL 2017 . - 456 p.. - (Références sciences, ISSN 2260-8044) .
ISBN : 978-2-340-01668-2
Langues : Français
Mots-clés : algèbre calcul formel agrégation de mathématiques Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité e1760 FOI/CAE 1420 Livre Enseignement Salle Disponible e1781 FOI/CAE 1438 Livre Enseignement Salle Disponible Contribution au calcul formel sur ordinateur / Yvon SIRET (1970)
Titre : Contribution au calcul formel sur ordinateur Type de document : texte imprimé Auteurs : Yvon SIRET, Auteur Editeur : Grenoble : Université de Grenoble. Faculté des Sciences Année de publication : 1970 Importance : ill. Note générale : Thèse Langues : Français Mots-clés : Langage LISP langage algorithmique système ALADIN système de visualisation calcul formel Note de contenu : bibliogr. Contribution au calcul formel sur ordinateur [texte imprimé] / Yvon SIRET, Auteur . - Grenoble : Université de Grenoble. Faculté des Sciences, 1970 . - ill.
Thèse
Langues : Français
Mots-clés : Langage LISP langage algorithmique système ALADIN système de visualisation calcul formel Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13764 T/SIR/GRE Livre Recherche Salle Disponible Cours de calcul formel / Philippe SAUX PICART (DL 1999)
Titre : Cours de calcul formel : algorithmes fondamentaux Type de document : texte imprimé Auteurs : Philippe SAUX PICART, Auteur Editeur : Paris : Ellipses Année de publication : DL 1999 Collection : Mathématiques pour le 2e cycle Importance : XIII-176 p. ISBN/ISSN/EAN : 978-2-7298-9975-2 Langues : Français Mots-clés : algorithmique calcul formel Note de contenu : index, bibliogr. Cours de calcul formel : algorithmes fondamentaux [texte imprimé] / Philippe SAUX PICART, Auteur . - Paris : Ellipses, DL 1999 . - XIII-176 p.. - (Mathématiques pour le 2e cycle) .
ISBN : 978-2-7298-9975-2
Langues : Français
Mots-clés : algorithmique calcul formel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité e1717 SAU/CAE 1386 Livre Enseignement Salle Disponible e1762 SAU/CAE 1422 Livre Enseignement Salle Disponible E567 SAU/CAE 516 Livre Enseignement Salle Manquant
Exclu du prêtCours de calcul formel / Philippe SAUX PICART (DL 2002)
PermalinkEnseignement des mathématiques et logiciels de calcul formel / Ministère de l'Éducation Nationale. Direction des personnels enseignants des lycées et collèges (Paris, France) (1994)
PermalinkUn exemple d'utilisation du calcul formel sur ordinateur. / Evelyne TOURNIER (1971)
PermalinkFaire des mathématiques avec un système de calcul formel. Tome 2 / Ministère de l'Éducation Nationale. Direction des personnels enseignants des lycées et collèges (Paris, France) (1998)
PermalinkPermalink