He worked in theoretical mechanics and number theory (see: Bunyakovsky conjecture), and is credited with an early discovery of the Cauchy–Schwarz inequality, proving it for the infinite dimensional case in 1859, many years prior to Hermann Schwarz's works on the subject.