代数幾何学
ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。
数学史
数学的帰納法を用いている最初の数学的証明は、西暦1000年頃のアル＝カラジの著作に現れ、二項定理、パスカルの三角形、積分立方数合計の証明に使われた[15]。 数学歴史家のF. Woepcke[25]は、アル＝カラジを「最初に代数的な微分積分学の理論を導入した者」として賞賛した。イブン・アル＝ハイサムは、二重平方数の和の公式を推論した最初の数学者であり、帰納法を使用して、任意の整数の冪乗の和に対する一般公式を決定する方法を開発し、それが積分法の発展の基礎となった[26]。