Como investigador, sólo tiene en su haber una contribución, el llamado algoritmo de Horner para resolver ecuaciones algebraicas, publicado por la Royal Society en 1819.