Gaussian elimination
ロルの得意分野は代数方程式であり、顕著な業績は1690年の著作「代数概論("Traité d'algèbre)」である。この中でロルはn乗根の記法を確立し、ガウスの消去法をヨーロッパで初めて公にした。そして、ロルの定理(多項式バージョン)を利用してみせ、その証明は翌年刊行の「証明編」に記した。"