**A Computing Procedure for Quantification Theory**

Martin Davis, Hilary Putnam

Pages: 201-215

DOI: 10.1145/321033.321034

The hope that mathematical methods employed in the investigation of formal logic would lead to purely computational methods for obtaining mathematical theorems goes back to Leibniz and has been revived by Peano around the turn of the century and...

**On Relevance, Probabilistic Indexing and Information Retrieval**

M. E. Maron, J. L. Kuhns

Pages: 216-244

DOI: 10.1145/321033.321035

This paper reports on a novel technique for literature indexing and searching in a mechanized library system. The notion of relevance is taken as the key concept in the theory of information retrieval and a comparative concept...

**Computation of the Frequency Function of a Quadratic Form in Random Normal Variables**

Walter F. Freiberger, Richard H. Jones

Pages: 245-250

DOI: 10.1145/321033.321036

One of the outstanding problems in the theory of time series analysis is the distribution problem in spectral analysis for small samples. When the number of observations is sufficiently large for the Central Limit Theorem to be applicable, the...

**Analysis of Nets by Numerical Methods**

Arthur Gill

Pages: 251-254

DOI: 10.1145/321033.321037

The assignment of prime numbers to the branches of directed or non-directed nets, enables one to construct transition matrices in a numerical, rather than a symbolic, form. The numerical form greatly facilitates the construction of higher-order...

**On the Consistency of Precedence Matrices**

Frank Harary

Pages: 255-259

DOI: 10.1145/321033.321038

The consistency of precedence matrices is studied in the very natural geometric setting of the theory of directed graphs. An elegant recent procedure (Marimont [7]) for checking consistency is further justified by means of a graphical lemma. In...

**On Sturm Sequences for Tridiagonal Matrices**

J. M. Ortega

Pages: 260-263

DOI: 10.1145/321033.321039

**On an Alternating Direction Method for Solving the Plate Problem with Mixed Boundary Conditions**

Samuel D. Conte, Ralph T. Dames

Pages: 264-273

DOI: 10.1145/321033.321040

**Solution of Linear Systems by Richardson's Method**

Werner L. Frank

Pages: 274-286

DOI: 10.1145/321033.321041

**Synthesis of Binary Ring Counters of Given Periods**

G. B. Fitzpatrick

Pages: 287-297

DOI: 10.1145/321033.321042

A number of papers have been written from time to time about logical counters of a certain type which have quite simple logic and have been variously referred to as Binary Ring Counters, Shift Register Counters, Johnson Counters, etc. To my...