External Links

Journal: Journal of the ACM

Volume 7, Issue 4

299 -- 310Ronald E. Prather. Computational Aids for Determining the Minimal Form of a Truth Function
311 -- 325Seymour Ginsburg. Connective Properties Preserved in Minimal State Machines
326 -- 329C. E. Miller, A. W. Tucker, R. A. Zemlin. Integer Programming Formulation of Traveling Salesman Problems
330 -- 337Erwin Kleinfeld. Techniques for Enumerating Veblen-Wedderburn Systems
338 -- 345E. E. Osborne. On Pre-Conditioning of Matrices
346 -- 386Erwin H. Bareiss. Resultant Procedure and the Mechanization of the Graeffe Process
389 -- 409Ivan Flores. Computer Time for Address Calculation Sorting

Volume 7, Issue 3

201 -- 215Martin Davis, Hilary Putnam. A Computing Procedure for Quantification Theory
216 -- 244M. E. Maron, J. L. Kuhns. On Relevance, Probabilistic Indexing and Information Retrieval
245 -- 250Walter F. Freiberger, Richard H. Jones. Computation of the Frequency Function of a Quadratic Form in Random Normal Variables
251 -- 254Arthur Gill. Analysis of Nets by Numerical Methods
255 -- 259Frank Harary. On the Consistency of Precedence Matrices
260 -- 263James M. Ortega. On Sturm Sequences for Tridiagonal Matrices
264 -- 273Samuel D. Conte, Ralph T. Dames. On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions
274 -- 286Werner L. Frank. Solution of Linear Systems by Richardson s Method

Volume 7, Issue 2

87 -- 101H. Gelernter, J. R. Hansen, C. L. Gerberich. A Fortran-Compiled List-Processing Language
102 -- 128Dag Prawitz, Haåkan Prawitz, Neri Voghera. A Mechanical Proof Procedure and its Realization in an Electronic Computer
129 -- 139W. G. Wadey. Floating-Point Arithmetics
140 -- 149Gerard Salton. A New Method for the Payment of Bills and the Transfer of Credit
163 -- 175Robin E. Esch. A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems
176 -- 180R. Alonso. A Starting Method for the Three-Point Adams Predictor-Corrector Method
185 -- 186David D. Morrison. Remarks on the Unitary Triangularization of a Nonsymmetric Matrix
187 -- 0J. A. Lively. Letter to the Editor
188 -- 0E. J. Gauss. Corrigendum to A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations

Volume 7, Issue 1

1 -- 9David E. Ferguson. Input-Output Buffering and Fortran
10 -- 23Marvin L. Stein, Jack Rose. Changing from Analog to Digital Programming by Digital Techniques
24 -- 28Richard Bellman. Sequential Machines, Ambiguity, and Dynamic Programming
29 -- 36Mario L. Juncosa, T. W. Mullikin. On the Increase of Convergence Rates of Relaxation Procedures for Elliptic Partial Difference Equations
37 -- 45Tse-Sun Chow, Harold Willis Milnes. Boundary Contraction Solution of Laplace s Differential Equation II
46 -- 56W. E. Milne, R. R. Reynolds. Stability of a Numerical Solution of Differential Equations - Part II
57 -- 60Bernard A. Galler, D. P. Rozenberg. A Generalization of a Theorem of Carr on Error Bounds for Rung-Kutta Procedures
61 -- 68William H. Anderson, R. B. Ball, J. R. Voss. A Numerical Method for Solving Control Differential Equations on Digital Computers
69 -- 71Gerard P. Weeg. Truncation Error in the Graeffe Root-Squaring Method
72 -- 74R. R. Coveyou. Serial Correlation in the Generation of Pseudo-Random Numbers
75 -- 77A. Rotenberg. A New Pseudo-Random Number Generator
78 -- 79H. H. Goldstine. Footnote to a Recent Paper
runs on