Derivation may refer to: Derivation (abstract algebra), a function on an algebra which generalizes certain features of the derivative operator Derivation (linguistics) Derivation in differential algebra, a unary function satisfying the Leibniz product law Formal proof or derivation, a sequence of sentences each of which's an axiom or follows from the preceding sentences in the sequence by a rule of inference Parse tree or concrete syntax tree, a tree that represents the syntactic structure… (More on Derivation)