Corps différentiel

Un corps différentiel est un cas particulier d'anneau différentiel. Un corps différentiel est la donnée d'un corps K et d'une dérivation ∂ {\displaystyle \partial } sur K, c'est-à-dire d'une application qui vérifie : ∀ y 1 , y 2 ∈ K , ∂ ( y 1 + y 2 ) = ∂ ( y 1…