形式微分
数学のとくに抽象代数学における形式微分(けいしきびぶん、英: formal derivative)は、微分法における通常の微分を形の上で真似た、多項式環または形式冪級数環上で定義される演算である。結果だけ見れば通常の微分と同じと言えるけれども、形式微分は極限の概念に基づくものではない(そもそも一般の環では極限の概念が意味を持つとは限らないのであった)という点において、代数的操作であることは有意である。形式微分は通常の微分が満たす多くの性質を満足するけれども、一部、特に数値的な性質については満たさないことに留意しなければならない。
初等代数学において、形式微分を重根の判定に用いることができる。