标签： wolfram-mathematica sympy symbolic-math
例如，我有一个矩阵表达式$（A + BCD）^ { - 1} $并希望将Sherman-Morrison-Woodbury公式应用于它。手动扩展表达是相当繁琐的。在Mathematica或SymPy或任何其他符号数学软件中有没有方便的方法？