看一下FORM，这是一种用于解决最困难的粒子物理问题的1980年代软件，因为它几乎完全由退休人员维护，但有可能过时(Matt Von Hippel/Quanta Magazine)