1 books for « bulletin de la societe... »Edit

‎Utilisation des calculateurs en mathématiques pures, actes des conférences des journées de Limoges, 1975 , Supplément au numéro de mars 1977, mémoire n° 49-50‎

‎Bulletin de la Société Mathématique de France Malicorne sur Sarthe, 72, Pays de la Loire, France 1977 Book condition, Etat : Très Bon broché grand In-8 1 vol. - 224 pages‎

‎quelques figures Contents, Chapitres : J. Berstel : Pour la programmation arithmétique et combinatoire - M. Bergman et H. Kanoui : Axiomatisation des manipulations symboliques des prédicats - J. Calmet : Utilisation des langages formels en théorie des champs - J.M. Deshouillers : Retour sur la formule de Cebysev dans la théorie des nombres premiers - F. Dress : Majorations de la fonction sommatoire de la fonction de Möbius - M. Fontet : Calcul du centralisateur d'un groupe de permutations - L. Gerhards : Grouptheoretical investigations on computers - M. Gondran : Un algorithme de coupe en programmation en nombres entiers - G. Gras : Approche numérique de la structure du groupe des classes des extensions abéliennes de Q - M.N. Gras : Calcul du nombre de classes par dévissage des unités cyclotomiques - P. Kaplan : Cycles d'ordre au moins 16 dans le 2-groupe des classes d'idéaux de certains corps quadratiques - J. Lagrange : Construction d'une table de nombres congruents - D. Lazard : Equations linéaires dans les anneaux de polynômes - M. Mignotte : Calculs sur des suites récurrentes linéaires - J.L. Nicolas : 6 nombres dont les sommes 2 à 2 sont des carrés - A. Perronnet : Problèmes soulevés par la programmation de la méthode des éléments finis - J.F. Perrot : Utilisation d'A.P.L. pour calculer des monoïdes finis - G. Robin : Un algorithme d'inversion pour les matrices de Toeplitz - F. Sergeraert : Utilisation des flottants du hardware pour le calcul rationnel exact - J. Schlesinger, P. Dufour, G. Vanderborg, M. Erculisse : Essai d'application de la méthode spectroscopique de Lanczos pour la recherche de valeurs propres de matrices - E. Tournier : Présentation générale de Reduce-2 - G. Viennot : Quelques bases et familles basiques des algèbres de Lie libres et commodes pour les calculs sur les ordinateurs - H. Zimmer : On Manin's conditional algorithm ‎