Purposeful and unpurposeful computing / Harvey Cohn -- Eliminating the irrelevant from mechanical proofs / Martin Davis -- The mechanization of mathematical arguments / Hao Wang -- Towards more versatile mechanical translators / E. T. Irons -- Information theory and decoding computations / Peter Elias -- Adaptive neural networks as brain models / H. D. Block -- Computer investigation of orthogonal Latin squares of order ten / E. T. Parker -- Determination of division algebras with $32$ elements / R. J. Walker -- How programming difficulties can lead to theoretical advances / E. C. Dade and H. Zassenhaus -- Methods of successive restrictions in computational problems involving discrete variables / C. B. Tompkins -- An experimental study of the simplex method / Harold W. Kuhn and Richard E. Quandt -- Large and nonconvex problems in linear programming / R. E. Gomory -- Some high-speed logic / D. H. Lehmer -- Stability questions for some numerical methods for ordinary differential equations / Germund G. Dahlquist -- Some applications of the quotient-difference algorithm / Peter Henrici -- Plane-rotations in floating-point arithmetic / J. H. Wilkinson -- New aspects in numerical quadrature / F. L. Bauer, H. Rutishauser and E. Stiefel -- On Jacobi rotation patterns / H. Rutishauser -- Automatic numerical integration of ordinary differential equations / Arnold Nordsieck -- Survey of stability of different schemes for solving initial value problems for hyperbolic equations / Peter D. Lax -- Unexpected dividends in the theory of prime numbers / J. Barkley Rosser -- The particle-in-cell method for numerical solution of problems in fluid dynamics / Francis H. Harlow -- Numerical experiments in atmospheric hydrodynamics / J. G. Charney -- The oscillations of the earth and of the atmosphere / Gordon J. F. MacDonald -- Few particle experiments in statistical mechanics / Berni J. Alder -- An approach to the Ising problem using a large scale fast digital computer / Chen-Ping Yang -- Applied mathematics as used in theoretical chemistry / Joseph O. Hirschfelder -- The mechanization of science / R. W. Hamming --

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9944

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0170497

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0170498

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0158575

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0167345

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9943

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0180910

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0157991

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0159445

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0177901

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0161746

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0162632

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0158509

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0161475

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0159415

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0158521

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0174177

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0160321

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0158548

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0160336

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/0159798

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9942

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9941

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9940

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9939

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9938

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9937

http://www.ams.org/psapm/015

http://dx.doi.org/10.1090/psapm/015/9936

Access is restricted to licensed institutions

Electronic reproduction. Providence, Rhode Island : American Mathematical Society. 2012

Mode of access : World Wide Web

Description based on print version record.