ミシェル・ロル
ロルの得意分野は代数方程式であり、顕著な業績は1690年の著作「代数概論(Traité d'algèbre)」である。この中でロルはn乗根の記法を確立し、ガウスの消去法をヨーロッパで初めて公にした。そして、ロルの定理(多項式バージョン)を利用してみせ、その証明は翌年刊行の「証明編」に記した。
今日、ロルの定理は微分積分学の定理として知られているが、皮肉なことにロル自身はジョージ・バークレーと同様、強烈な微積分否定論者であった。無限小を用いた計算は間違った結論を導くと激しく主張し、ライプニッツ派のピエール・ヴァリニョンと論争を繰り広げた。ロルはあくまで代数方程式の近似解を求める方法(カスケード法)の中でこの定理を発見している。しかしここで使われる「カスケード」とは、多項式の各項にその次数をかけて変数で割った式であり、実際には多項式関数の導関数と同じものであった。