Symbolic differentiation is a method in computer algebra systems for analytically deriving the derivative of a function, expressed in symbolic form. It allows for exact computation of derivatives by applying differentiation rules to the expression, unlike numerical differentiation which approximates derivatives using finite differences.