Una de sus más famosas traducciones al latín del original árabe fue realizada en 1175 basándose en un texto encontrado en Toledo.