Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
Mémoires de la Société Mathématique de France, no. 49-50 (1977) , 224 p. 
@book{MSMF_1977__49-50_,
     author = {Collectif},
     title = {Utilisation des calculateurs en math\'ematiques pures {(Limoges,} 1975)},
     series = {M\'emoires de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     year = {1977},
     language = {mul},
     url = {http://www.numdam.org/item/MSMF_1977__49-50_/}
}
TY  - BOOK
AU  - Collectif
TI  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
T3  - Mémoires de la Société Mathématique de France
PY  - 1977
IS  - 49-50
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/MSMF_1977__49-50_/
LA  - mul
ID  - MSMF_1977__49-50_
ER  - 
%0 Book
%A Collectif
%T Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
%S Mémoires de la Société Mathématique de France
%D 1977
%N 49-50
%I Société mathématique de France
%U http://www.numdam.org/item/MSMF_1977__49-50_/
%G mul
%F MSMF_1977__49-50_
Utilisation des calculateurs en mathématiques pures (Limoges, 1975). Mémoires de la Société Mathématique de France, no. 49-50 (1977), 224 p. http://numdam.org/item/MSMF_1977__49-50_/

Sommaire

ARCO pour la programmation arithmétique et combinatoire Berstel, Jean p. 11-13
Axiomatisation des manipulations symboliques en calcul des prédicats Bergman, Marc ; Kanoui, Henry p. 15-30
Utilisation des langages formels en théorie des champs Calmet, Jacques p. 31-39
Retour sur la méthode de Čebyšev dans la théorie des nombres premiers Deshouillers, Jean-Marc p. 41-45
Majorations de la fonction sommatoire de la fonction de Möbius Dress, François p. 47-52
Calcul du centralisateur d'un groupe de permutations Fontet, Max p. 53-63
Grouptheoretical investigations on computers Gerhards, Leonhard p. 65-91
Un algorithme de coupes en programmation en nombres entiers Gondran, Michel p. 93-100
Approche numérique de la structure du groupe des classes des extensions abéliennes de ℚ Gras, Georges p. 101-107
Calcul de nombres de classes par dévissage des unités cyclotomiques Gras, Marie-Nicole p. 109-112
Cycles d'ordre au moins 16 dans le 2-groupe des classes d'idéaux de certains corps quadratiques Kaplan, Pierre p. 113-124
Construction d'une table de nombres congruents Lagrange, Jean p. 125-130
Équations linéaires dans les anneaux de polynômes Lazard, Daniel p. 131-135
Calculs sur des suites récurrentes linéaires Mignotte, Maurice p. 137-140
6 nombres dont les sommes deux à deux sont des carrés Nicolas, Jean-Louis p. 141-143
Problèmes soulevés par la programmation de la méthode des éléments finis Perronnet, Alain p. 145-158
Utilisation d'APL pour calculer des monoïdes finis Perrot, Jean-François p. 159-176
Un algorithme d'inversion pour les matrices de Toeplitz par blocs Robin, Guy p. 177-180
Essai d'application de la méthode spectroscopique de Lanczos pour la recherche des valeurs propres des matrices Schlesinger, Jacques ; Dufour, Pierre ; Vanderborg, Gerard ; Erculisse, Michel p. 181-185
Utilisation des flottants du hardware pour le calcul rationnel exact Sergeraert, Francis p. 187-194
Présentation générale de REDUCE-2 Tournier, Evelyne p. 195-199
Quelques bases et familles basiques des algèbres de Lie libres commodes pour les calculs sur ordinateurs Viennot, Gerard p. 201-209
On Manin's conditional algorithm Zimmer, Horst G. p. 211-224