También hizo contribuciones mayores al sistema algebraico computacional Macsyma en el MIT, trabajando más tarde con Symbolics y Macsyma, Inc.