Geodesic
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.

Voir la notice du livre provenant de la source Numdam

@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 = {https://geodesic-test.mathdoc.fr/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  - https://geodesic-test.mathdoc.fr/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 https://geodesic-test.mathdoc.fr/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. https://geodesic-test.mathdoc.fr/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