Una nueva demostración del teorema de Thabit ibn Qurra fue suministrada a finales del siglo XIII por al-Farisi (1260), quien introdujo importantes nuevas ideas en los campos de la factorización y de los métodos combinatorios.