Một cái gì đó gần với một bằng chứng bằng cảm ứng toán học xuất hiện trong một cuốn sách được viết bởi Al-Karaji vào khoảng năm 1000 sau Công nguyên, người đã sử dụng nó để chứng minh định lý nhị phân, tam giác Pascal và tổng các khối tích cực. Nhà sử học toán học F. Woepcke ca ngợi Al-Karaji là "người đầu tiên giới thiệu lý thuyết tính toán đại số". Cũng trong thế kỷ 10, Abulfa Wafacus đã dịch các tác phẩm của Ibn al-Haytham thành tiếng Ả Rập. Ibn al-Haytham là nhà toán học đầu tiên lấy ra tổng các lực thứ tư, sử dụng một phương pháp có thể định nghĩa tổng hợp được cho bất kỳ số lượng không xác định nào. Ông cũng đã viết về các phương pháp tính toán đại số chung, đặc biệt trong thế kỷ thứ 11 để tìm ra phương pháp tính toán đại số chung, nhưng cũng có ảnh hưởng rất lớn đến các phương pháp tính toán đại số chung của Euclid. Ông cũng đã viết về các phương pháp tính toán đại số chung, đặc biệt trong thế kỷ thứ 13, để tìm ra phương pháp tính toán đại số chung của các phương thức tính toán đại số
một thuật toán