A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.
The Wilf Stability Criterion for Numerical Integration.
A Dictionary for Minimum Redundancy Encoding.
Words in the History of a Turing Machine with a Fixed Input.
On the Structures of an Automaton and Its Input Semigroup.
Finite Automata and the Set of Squares.
Tape Searching Techniques.
On the Reduction of Number Range in the Use of the Graeffe Process.
Experiments with a Heuristic Compiler.
Generalized Tree Circuit - The Basic Building Block of an Extended Decomposition Theory.
Numerical Solution of Systems of Nonlinear Equations.
An Elimination Method for Computing the Generalized Inverse of an Arbitrary Complex Matrix.
A Method for Finding All the Zeros of f(x).
Quotients of Context-Free Languages.
Feature Word Construction for Use with Pattern Recognition Algorithms: An Experimental Study.
Associative Document Retrieval Techniques Using Bibliographic Information.