Durante su estancia en Caltech en el departamento de física de 1979 a 1981, desarrolló un sistema computacional de álgebra SMP ("Symbolic Manipulation Program") que fue esencialmente la versión cero de Mathematica.