Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
OK
Please make all selections above before adding to cart
OK
Share this page via the icons above, or by copying the link below:
Copy To Clipboard
Successfully Copied!
Experimental Arithmetic, High Speed Computing and Mathematics
 
Experimental Arithmetic, High Speed Computing and Mathematics
eBook ISBN:  978-0-8218-9230-5
Product Code:  PSAPM/15.E
List Price: $125.00
MAA Member Price: $112.50
AMS Member Price: $100.00
Experimental Arithmetic, High Speed Computing and Mathematics
Click above image for expanded view
Experimental Arithmetic, High Speed Computing and Mathematics
eBook ISBN:  978-0-8218-9230-5
Product Code:  PSAPM/15.E
List Price: $125.00
MAA Member Price: $112.50
AMS Member Price: $100.00
  • Book Details
     
     
    Proceedings of Symposia in Applied Mathematics
    Volume: 151963; 396 pp
    MSC: Primary 11
  • Table of Contents
     
     
    • 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
  • Requests
     
     
    Review Copy – for publishers of book reviews
    Permission – for use of book, eBook, or Journal content
    Accessibility – to request an alternate format of an AMS title
Volume: 151963; 396 pp
MSC: Primary 11
  • 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
Review Copy – for publishers of book reviews
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.