Noun
biderivation (plural biderivations) (mathematics) A bilinear mapping which is a derivation in each variable separately.