Ceva apropiat de o dovadă prin inducție matematică apare într-o carte scrisă de Al-Karaji în jurul anului 1000 d.Hr., care a folosit-o pentru a dovedi teorema binomială, triunghiul lui Pascal și suma cuburilor integrale. Istoricul matematicii, F. Woepcke, l-a lăudat pe Al-Karaji pentru că a fost "primul care a introdus teoria calculului algebric". De asemenea, în secolul al X-lea, Abulfa Wafa a tradus lucrările lui Ibn al-Haytham în limba arabă.
un algoritm