代数学
ペルシャの数学者ウマル・ハイヤームは代数幾何学の創始者とされており、三次方程式の一般解を見出したことで知られる。同じくペルシャの数学者は様々な三次方程式の代数解や数値解を求めた。彼は関数の概念も生み出した。インドの数学者マハーヴィーラとバースカラ2世、ペルシャの数学者、中国の数学者朱世傑は、三次、四次、五次などの高次多項式方程式を数値的手法で解いた。13世紀にはフィボナッチの三次方程式の解法に代表されるように、ヨーロッパにおける代数学の復興がなされた。一方でイスラム世界では数学が衰退し、それと入れ替わるようにヨーロッパで数学が盛んになっていった。その後、代数学はヨーロッパを中心として発展していった。
数論幾何学
数論幾何（すうろんきか、）あるいは数論的代数幾何学（）は数論の一分野であり、数論の問題を解くために代数幾何の道具を用い、初等的でない定義を使う。スキーム論の出現後、数論幾何は整数環 のスペクトル上の"有限型"のアレクサンドル・グロタンディークのスキームの研究として合理的に定義できよう。この視点は半世紀以上に渡って非常に影響的である。それは（可換環論の現在のことばを用いるために）数論を整数上の多項式環の商である環だけで扱おうとするレオポルト・クロネッカーの野望をはたすものと非常に広くみなされている。実はスキーム論は全く「有限的」にはみえないあらゆる種類の補助的構成を用いるので、「構成主義派」の思想とはそのようなものとして関係が薄い。スキーム論がそうではないことは、進数とは違って素イデアルから来ない「無限素点」（実と複素の局所体）への継続的な興味から現れる。