Probó la existencia de una base finita mediante un método constructivo para encontrar todos los invariantes y sus generadores, pero no fue capaz de desarrollar este enfoque constructivo para invariantes de polinomios en tres o más variables.