代数学
ペルシャの数学者ウマル・ハイヤームは代数幾何学の創始者とされており、三次方程式の一般解を見出したことで知られる。同じくペルシャの数学者は様々な三次方程式の代数解や数値解を求めた。彼は関数の概念も生み出した。インドの数学者マハーヴィーラとバースカラ2世、ペルシャの数学者、中国の数学者朱世傑は、三次、四次、五次などの高次多項式方程式を数値的手法で解いた。13世紀にはフィボナッチの三次方程式の解法に代表されるように、ヨーロッパにおける代数学の復興がなされた。一方でイスラム世界では数学が衰退し、それと入れ替わるようにヨーロッパで数学が盛んになっていった。その後、代数学はヨーロッパを中心として発展していった。
数式処理システム
初期のシステムとして、ノーベル物理学賞受賞のマルティヌス・フェルトマンが理論素粒子物理学計算のために1963年にCDC計算機のアセンブラで開発した、
同じく理論素粒子物理学（量子電磁気学、QED）計算のためにAnthony.C.Hearnが1963年にLISP上で開発したREDUCE、天体力学計算に特化したケンブリッジ大学のCAMAL、そのほかFORTRANで記述されたFORMACとPL/Iで記述されたPL/I FORMAC、などいろいろな試みがあった（REDUCEは今でも商用版あるいは無料版が存在する。今日でもまだ例えば長大な多項式や有理式を主とする計算では価値がある）。