Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
Bulletin de la Société mathématique de France. Mémoire, no. 49-50 (1977) , 224 p. 
@book{MSMF_1977__49-50_,
     author = {Collectif},
     title = {Utilisation des calculateurs en math\'ematiques pures {(Limoges,} 1975)},
     series = {Bulletin de la Soci\'et\'e math\'ematique de France. M\'emoire},
     year = {1977},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {49-50},
     language = {mul},
     url = {https://www.numdam.org/item/MSMF_1977__49-50_/}
}
TY  - BOOK
AU  - Collectif
TI  - Utilisation des calculateurs en mathématiques pures (Limoges, 1975)
T3  - Bulletin de la Société mathématique de France. Mémoire
PY  - 1977
IS  - 49-50
PB  - Société mathématique de France
UR  - https://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 Bulletin de la Société mathématique de France. Mémoire
%D 1977
%N 49-50
%I Société mathématique de France
%U https://www.numdam.org/item/MSMF_1977__49-50_/
%G mul
%F MSMF_1977__49-50_
Utilisation des calculateurs en mathématiques pures (Limoges, 1975). Bulletin de la Société mathématique de France. Mémoire, no. 49-50 (1977), 224 p. https://www.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