符号微分（symbolic differentiation），理学-计算机科学技术-计算机科学理论-符号计算-符号算法，计算机程序按微分规则计算给定数学表达式关于特定变元的导数的过程。与数值微分不同，符号微分的输入为符号数学表达式，而输出的导数也为符号数学表达式，其计算过程和结果与微积分教材中所介绍的类似。符号微分中常用的微分规则包括方幂求导、三角函数求导、指数求导、对数求导、乘法规则、迭合规则、链式法则等。如何综合利用这些微分规则计算任意给定数学表达式的导数是符号微分的关键。常见的计算机代数软件均包含用于符号微分的程序命令，例如数学软件Matlab中符号数学工具的“diff”命令、计算机代数软件Maple中的“diff”命令等。