1 - Cours de calcul formel. Algorithmes fondamentaux. Cours et exercices corrigés
Saux Picart, Philippe

Cote : [05 SAU 99A]

2 - Modélisation à l'oral de l'agrégation. Calcul scientifique
Dumas, Laurent

Cote : [77 DUM 99A]

3 - A course in computational algebraic number theory - 3rd corrected printing
Cohen, Henri (1947-....)

Cote : [30 COH 96]

4 - Algèbre et calcul formel, agrégation de mathématiques Option C
Foissy, Loïc   /   Ninet, Alain

Cote : [77 FOI 17]

5 - Calcul mathématique avec Sage
Zimmermann, Paul (1964-....)   /   Fousse, Laurent (1981-....)   /   Maltey, François

Cote : [75.5 ZIM 13]

6 - Guide du calcul avec les logiciels libres : XCAS, Scilab, Bc, Gp, GnuPlot, Maxima, MuPAD
Connan, Guillaume   /   Grognet, Stéphane

Cote : [75.5 CON 08]

7 - 15 leçons de Maple
Leicknam, Jean-Claude   /   Bidaud, Geneviève (Préface)

Cote : [77 LEI 97]

8 - Calcul formel. Systèmes et algorithmes de manipulations algébriques
Davenport, James Harold (1907-1969)   /   Tournier, Evelyne (1945-....).   /   Siret, Yvon   /   Lazard, Daniel (1941-....) (Préface)

Cote : [77 DAV 87]

9 - Computer algebra : Symbolic and algebraic computation - Second edition
Buchberger, Bruno (1942-....)   /   Loos, Rüdiger (1938-....) (Ed.)   /   Albrecht, Rudolf (1925-....) (Collaborateur)

Cote : [77 BUC 83]

10 - Discovering mathematics with magma : Reducing the abstract to the concrete
Bosma, Wieb (Ed.)   /   Cannon, John (Ed.)

Cote : [77 BOS 06]