Su especialidad matemática era el álgebra computacional y sus aplicaciones, incluyendo la demostración de teoremas automatizada en geometría.