Theorem Proving by Covering Expressions.
Scaling for Numerical Stability in Gaussian Elimination.
Combining Dimensionality and Rate of Growth Arguments for Establishing Lower Bounds on the Number of Multiplications and Divisions.
The Ford-Johnson Sorting Algorithm Is Not Optimal.
Some A-Stable and L-Stable Methods for the Numerical Integration of Stiff Ordinary Differential Equations.
Two Algorithms for Determining Volumes of Convex Polyhedra.
Significant Improvements to the Hwang-Lin Merging Algorithm.
Maximal Order and Order of Information for Numerical Quadrature.
The Tree-to-Tree Correction Problem.
Approximation Algorithms for Some Postman Problems.
Search within a Page.
An Optimal Algorithm for Finding the Kernel of a Polygon.
A Comparison of Multilevel break and next Statements.
An NP-Complete Number-Theoretic Problem.