ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 7 Issue 2, April 1960

A Fortran-Compiled List-Processing Language
H. Gelernter, J. R. Hansen, C. L. Gerberich
Pages: 87-101
DOI: 10.1145/321021.321022
A compiled computer language for the manipulation of symbolic expressions organized in storage as Newell-Shaw-Simon lists has been developed as a tool to make more convenient the task of programming the simulation of a geometry theorem-proving...

A Mechanical Proof Procedure and its Realization in an Electronic Computer
Dag Prawitz, Haå kan Prawitz, Neri Voghera
Pages: 102-128
DOI: 10.1145/321021.321023

Floating-Point Arithmetics
W. G. Wadey
Pages: 129-139
DOI: 10.1145/321021.321024
Three types of floating-point arithmetics with error control are discussed and compared with conventional floating-point arithmetic. General multiplication and division shift criteria are derived (for any base) for Metropolis-type arithmetics....

A New Method for the Payment of Bills and the Transfer of Credit
Gerard Salton
Pages: 140-149
DOI: 10.1145/321021.321025
The transfer of credit and the processing of receivables play important roles in most business systems. Present procedures require a dual handling of payments— they are processed both by the payee and again by the banks...

Methods for Fitting Rational Approximations, Part I: Telescoping Procedures for Continued Fractions
Hans J. Maehly
Pages: 150-162
DOI: 10.1145/321021.321026

A Necessary and Sufficient Condition for Stability of Partial Difference Equation Problems
Robin E. Esch
Pages: 163-175
DOI: 10.1145/321021.321027

A Starting Method for the Three-Point Adams Predictor-Corrector Method
R. Alonso
Pages: 176-180
DOI: 10.1145/321021.321028
Certain higher order iterative procedures for the numerical solution of ordinary differential equations require a separate procedure for determining starting values. Such is the case in the Adams and Milne methods. The work involved in...

A Modification of Filon's Method of Numerical Integration
E. A. Flinn
Pages: 181-184
DOI: 10.1145/321021.321029
Filon's method of numerical integration was developed to deal with integrals of the form I = ∫BA ƒ(x) cos px...

Remarks on the Unitary Triangularization of a Nonsymmetric Matrix
David D. Morrison
Pages: 185-186
DOI: 10.1145/321021.321030
In [1], A. Householder described a method for the unitary triangularization of a matrix. The formulas given there are valid for the real case. In this note we describe the modifications to handle the complex case and also point out a small...

Letter to the Editor
J. A. Lively
Page: 187
DOI: 10.1145/321021.321031

Corrigendum to `` A Comparison of Machine Organizations by Their Performance of the Iterative Solution of Linear Equations''
E. J. Gauss
Page: 188
DOI: 10.1145/321021.321032