Developed the first symbolic differential equation solver. 1972.
Cited in J. P. Golden, MACSYMA's Symbolic Ordinary Differential Equation
Solver, Proceedings of the Macsyma Users Conference, 1977.
Also cited (as MIT-ML disk files!) in David R. Stoutemyer, Computer
Algebraic Manipulation for the Calculus of Variations, the Maximum
Principle, and Automatic Control. University of Hawaii Aloha System TR
A74-5, November 1974.
Choreographed "He Built a Crooked
House", a Scottish country dance. In A Yankee Sampler,
Cambridge, Mass: Royal Scottish Country Dance Society, Boston Branch,
1976.
Acknowledged along with D. E. Knuth for independent discovery of a key
improvement to the Boyer-Moore string searching algorithm, in
R. S. Boyer and J S. Moore, A fast string searching algorithm,
Communications of the ACM20: 762-772, 1977.