Among his work was an incomplete proof (Abel–Ruffini theorem) that quintic (and higher-order) equations cannot be solved by radicals (1799), and Ruffini's rule which is a quick method for polynomial division.