Catálogo de la biblioteca Antonio Monteiro - INMABB

"Based mainly on a Symposium on Utilisation of Computers in Mathematical Research held at the IBM World Trade European Education Centre, Blaricum, Netherlands, August 29-31, 1966".

Textos en inglés y en francés.

Con una Introducción por J. Dieudonné.

Machines and pure mathematics / D. H. Lehmer -- Congruences for modular forms / A. O. L. Atkin -- Covering sets and systems of congruences / R. F. Churchhouse -- A tabulation of some information concerning finite fields / J. H. Conway -- On a specific similarity of finite semigroups / P. Deussen -- Calculs algébriques dans l'anneau des vecteurs de Witt / J.-J. Duby -- An algorithm that investigates the planarity of a network / A. J. W. Duijvestijn -- On some number-theoretical problems treated with computers / C. E. Fröberg -- L'usage heuristique des ordinateurs en mathématiques pures / G. Glaeser -- Sur la cyclabilité des graphes / J.-C. Herz -- A problem in stable homotopy theory and the digital computer / A. Liulevicius -- Obtention automatique des équations de Runge et Kutta / J. Martinet and Y. Siret -- A method for computing the simple character table of a finite group / J. K. S. McKay -- Periodic forests of stunted trees : the identification of distinct forests / J. C. P. Miller -- Computations on certain binary branching processes / S. M. Ulam.

Bibliografía: p. 172-185.

MR, 38 #1972