物理数学专业推导公式的好用工具

mathematica值得首推，各路大神开发的程序包最为有用。尤亦庄老师开发了一系列推导计算工具，像泡利代数、虚频求和等。自从有了虚频求和程序包，我都不愿自己推导了，这对懒人来说很实用。

更有名的当属费曼图计算工具FeynCalc了，做场论的很多人都在用，不过我们做凝聚态场论的通常还是手动推导。

还有GTpack，它是用于群论计算的软件包，有兴趣的朋友可以去体验一下。

OGRe为广义相对论计算包，可用于进行微分几何计算。

DiracQ是个用于多体物理计算的程序包，据介绍可进行格点上的算符运算，但我未曾具体使用过。

另外，推导的话可以使用Typora，它是轻量化的LaTeX，用来做笔记相当便捷。