Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.
The Unit Proof and the Input Proof in Theorem Proving.
A New Method of Interpolation and Smooth Curve Fitting Based on Local Procedures.
Necessary and Sufficient Conditions for Dynamic Programming of Combinatorial Type.
A Method for Solving Large Matrix Equations Reduced From Fredholm Integral Equations of the Second Kind.
Accumulation of Round-Off Error in Fast Fourier Transforms.
Efficiency of a Procedure for Near-Minimax Approximation.
Pseudo-Runge-Kutta Methods of the Fifth Order.
On the Efficiency of Algorithms.
The Generation of Optimal Code for Arithmetic Expressions.
Errata: "On the Periodic Representations and the Reducibility of Periodic Automata".
An Analysis of Some Graph Theoretical Cluster Techniques.
Statistical Properties of the Buddy System.
Computer Interval Arithmetic: Definition and Proof of Correct Implementation.
The Equivalence Problem of Simple Programs.