On Pre-Conditioning of Matrices.
Computational Aids for Determining the Minimal Form of a Truth Function.
Connective Properties Preserved in Minimal State Machines.
A Note on a Method of Computing the Gamma Function.
Integer Programming Formulation of Traveling Salesman Problems.
Resultant Procedure and the Mechanization of the Graeffe Process.
Techniques for Enumerating Veblen-Wedderburn Systems.
Computer Time for Address Calculation Sorting.