Utilisation des calculateurs en mathématiques pures (Limoges, 1975) - Volume (1977) no. 49-50

Utilisation des calculateurs en mathématiques pures (Limoges, 1975)

Collectif

Mémoires de la Société Mathématique de France, no. 49-50 (1977) , 224 p.

Export
How to cite

@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://archive.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://archive.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://archive.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_/

Table of contents

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