Michael Faraday formulated the quantitative laws of electrolysis in 1833, describing the relationship between the amount of substance deposited at electrodes and the electric charge passed through the solution. Humphry Davy discovered several elements using electrolysis but did not establish the mathematical laws.