Prawitz, D.; Prawitz, H.; Voghera, N. A mechanical proof procedure and its realization in an electronic computer. (English) Zbl 0213.02401 J. Assoc. Comput. Mach. 7, 102-128 (1960). MSC: 68T20 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Davis, M.; Putnam, H. A computing procedure for quantification theory. (English) Zbl 0212.34203 J. Assoc. Comput. Mach. 7, 201-215 (1960). MSC: 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Wadey, W. G. Floating-point arithmetics. (English) Zbl 0212.18505 J. Assoc. Comput. Mach. 7, 129-139 (1960). MSC: 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Ortega, J. M. On Sturm sequences for tridiagonal matrices. (English) Zbl 0208.18101 J. Assoc. Comput. Mach. 7, 260-263 (1960). MSC: 65F15 65Y20 × Cite Format Result Cite Review PDF Full Text: DOI
Morrison, D. D. Remarks on the unitary triangularization of a nonsymmetric matrix. (English) Zbl 0156.16201 J. Assoc. Comput. Mach. 7, 185-186 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Flinn, E. A. A modification of Filon’s method of numerical integration. (English) Zbl 0121.11703 J. Assoc. Comput. Mach. 7, 181-184 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Maehly, H. Methods for fitting rational approximations. I: Telescoping procedures for continued fractions. II and III. (English) Zbl 0113.32502 J. Assoc. Comput. Mach. 7, 150-162 (1960); 10, 257-277 (1963). × Cite Format Result Cite Review PDF Full Text: DOI
Bareiss, E. H. Resultant procedure and the mechanization of the Graeffe process. (English) Zbl 0109.08904 J. Assoc. Comput. Mach. 7, 346-386 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Osborne, E. E. On pre-conditioning of matrices. (English) Zbl 0106.31604 J. Assoc. Comput. Mach. 7, 338-345 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Chow, Tse-Sun; Milnes, Harold Willis Boundary contraction solution of Laplace’s differential equation. II. (English) Zbl 0103.10601 J. Assoc. Comput. Mach. 7, 37-45 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Anderson, W. H.; Ball, R. B.; Voss, J. R. A numerical method for solving control differential equations on digital computers. (English) Zbl 0102.33701 J. Assoc. Comput. Mach. 7, 61-68 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Gordon, N. L.; Flasterstein, A. H. A note on a method of computing the gamma function. (English) Zbl 0102.05803 J. Assoc. Comput. Mach. 7, 387-388 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Freiberger, Walter F.; Jones, Richard H. Computation of the frequency function of a quadratic form in random normal variables. (English) Zbl 0101.35605 J. Assoc. Comput. Mach. 7, 245-250 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Miller, C. E.; Tucker, A. W.; Zemlin, R. A. Integer programming formulation of traveling salesman problems. (English) Zbl 0100.15101 J. Assoc. Comput. Mach. 7, 326-329 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Gill, Arthur Analysis of nets by numerical methods. (English) Zbl 0100.13004 J. Assoc. Comput. Mach. 7, 251-254 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Kleinfeld, Erwin Techniques for enumerating Veblen-Wedderburn systems. (English) Zbl 0099.15303 J. Assoc. Comput. Mach. 7, 330-337 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Goldstine, H. H. Footnote to a recent paper. (English) Zbl 0099.11605 J. Assoc. Comput. Mach. 7, 78-79 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Juncosa, M. L.; Mullikin, T. W. On the increase of convergence rates of relaxation procedures for elliptic partial difference equations. (English) Zbl 0098.31502 J. Assoc. Comput. Mach. 7, 29-36 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Conte, Samuel D.; Dames, Ralph T. On an alternating direction method for solving the plate problem with mixed boundary conditions. (English) Zbl 0098.09605 J. Assoc. Comput. Mach. 7, 264-273 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Bellman, Richard Sequential machines, ambiguity, and dynamic programming. (English) Zbl 0097.35502 J. Assoc. Comput. Mach. 7, 24-28 (1960). Reviewer: Steven Vajda (Teddington) MSC: 90C39 68N19 × Cite Format Result Cite Review PDF Full Text: DOI
Stein, Marvin L.; Rose, Jack Changing from analog to digital programming by digital techniques. (English) Zbl 0097.33501 J. Assoc. Comput. Mach. 7, 10-23 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Milne, W. E.; Reynolds, R. R. Stability of a numerical solution of differential equations. II. (English) Zbl 0097.33101 J. Assoc. Comput. Mach. 7, 46-56 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Harary, Frank On the consistency of precedence matrices. (English) Zbl 0097.12402 J. Assoc. Comput. Mach. 7, 255-259 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Frank, Werner L. Solution of linear systems by Richardson’s method. (English) Zbl 0097.11404 J. Assoc. Comput. Mach. 7, 274-286 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Ginsburg, Seymour Connective properties preserved in minimal state machines. (English) Zbl 0097.00502 J. Assoc. Comput. Mach. 7, 311-325 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Coveyou, R. R. Serial correlation in the generation of pseudo-random numbers. (English) Zbl 0096.33903 J. Assoc. Comput. Mach. 7, 72-74 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Rotenberg, A. A new pseudorandom number generator. (English) Zbl 0096.33902 J. Assoc. Comput. Mach. 7, 75-77 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Galler, B. A.; Rozenberg, D. P. A generalization of a theorem of Carr on error bounds for Runge-Kutta procedures. (English) Zbl 0096.10101 J. Assoc. Comput. Mach. 7, 57-60 (1960). MSC: 65L06 × Cite Format Result Cite Review PDF Full Text: DOI
Alonso, R. A starting method for the three-point Adams predictor-corrector method. (English) Zbl 0095.32201 J. Assoc. Comput. Mach. 7, 176-180 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Esch, Robin E. A necessary and sufficient condition for stability of partial difference equation problems. (English) Zbl 0095.31901 J. Assoc. Comput. Mach. 7, 163-175 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Weeg, Gerard P. Truncation error in the Graeffe root-squaring method. (English) Zbl 0095.31801 J. Assoc. Comput. Mach. 7, 69-71 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Gelernter, H.; Hansen, J. R.; Gerberich, C. L. A Fortran-compiled list-processing language. (English) Zbl 0095.11702 J. Assoc. Comput. Mach. 7, 87-101 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Fitzpatrick, G. B. Synthesis of binary ring counters of given periods. (English) Zbl 0094.31402 J. Assoc. Comput. Mach. 7, 287-297 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Flores, Ivan Computer time for address calculation sorting. (English) Zbl 0094.11806 J. Assoc. Comput. Mach. 7, 389-409 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Prather, Ronald Computational aids for determining the minimal form of a truth function. (English) Zbl 0094.00901 J. Assoc. Comput. Mach. 7, 299-310 (1960). × Cite Format Result Cite Review PDF Full Text: DOI
Ferguson, David E. Input-output buffering and Fortran. (English) Zbl 0090.34609 J. Assoc. Comput. Mach. 7, 1-9 (1960). × Cite Format Result Cite Review PDF Full Text: DOI