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ể khái quát hóa được để xác định các lực tam giác. Ông cũng đã viết một cuốn sách vào cuối thế kỷ thứ 11 về các phương pháp tính toán đa phương thức tương tự của Euclid, nhưng cũng có ảnh hưởng rất lớn đến việc tìm kiếm các phương thức tổng hợp đa phương thức của các phương trình đại số. Trong thế kỷ thứ 13, ông cũng đã viết một cuốn sách về các phương pháp tính toán tổng hợp phổ biến của Euclid, đặc biệt là việc tìm ra các phương thức tổng hợp đa phương
Abul Wafa