AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Experimental Arithmetic, High Speed Computing and Mathematics
About this Title
N. C. Metropolis, A. H. Taub, John Todd and C. B. Tompkins, Editors
Publication: Proceedings of Symposia in Applied Mathematics
Publication Year:
1963; Volume 15
ISBNs: 978-0-8218-1315-7 (print); 978-0-8218-9230-5 (online)
DOI: https://doi.org/10.1090/psapm/015
Table of Contents
Download chapters as PDF
Front/Back Matter
Articles
- Harvey Cohn – Purposeful and unpurposeful computing
- Martin Davis – Eliminating the irrelevant from mechanical proofs [MR 0170497]
- Hao Wang – The mechanization of mathematical arguments [MR 0170498]
- E. T. Irons – Towards more versatile mechanical translators [MR 0158575]
- Peter Elias – Information theory and decoding computations [MR 0167345]
- H. D. Block – Adaptive neural networks as brain models
- E. T. Parker – Computer investigation of orthogonal Latin squares of order ten [MR 0180910]
- R. J. Walker – Determination of division algebras with $32$ elements [MR 0157991]
- E. C. Dade and H. Zassenhaus – How programming difficulties can lead to theoretical advances [MR 0159445]
- C. B. Tompkins – Methods of successive restrictions in computational problems involving discrete variables [MR 0177901]
- Harold W. Kuhn and Richard E. Quandt – An experimental study of the simplex method [MR 0161746]
- R. E. Gomory – Large and nonconvex problems in linear programming [MR 0162632]
- D. H. Lehmer – Some high-speed logic [MR 0158509]
- Germund G. Dahlquist – Stability questions for some numerical methods for ordinary differential equations [MR 0161475]
- Peter Henrici – Some applications of the quotient-difference algorithm [MR 0159415]
- J. H. Wilkinson – Plane-rotations in floating-point arithmetic [MR 0158521]
- F. L. Bauer, H. Rutishauser and E. Stiefel – New aspects in numerical quadrature [MR 0174177]
- H. Rutishauser – On Jacobi rotation patterns [MR 0160321]
- Arnold Nordsieck – Automatic numerical integration of ordinary differential equations [MR 0158548]
- Peter D. Lax – Survey of stability of different schemes for solving initial value problems for hyperbolic equations [MR 0160336]
- J. Barkley Rosser – Unexpected dividends in the theory of prime numbers [MR 0159798]
- Francis H. Harlow – The particle-in-cell method for numerical solution of problems in fluid dynamics
- J. G. Charney – Numerical experiments in atmospheric hydrodynamics
- Gordon J. F. MacDonald – The oscillations of the earth and of the atmosphere
- Berni J. Alder – Few particle experiments in statistical mechanics
- Chen-Ping Yang – An approach to the Ising problem using a large scale fast digital computer
- Joseph O. Hirschfelder – Applied mathematics as used in theoretical chemistry
- R. W. Hamming – The mechanization of science