小茴香

提出了一种在经典超对称(SUSY)计算中对不同步骤进行形式化处理的算法。在Dill算法的基础上,用Mathematica编程语言开发了一个符号化软件包。虽然算法非常通用,但包是为4-D,N=1模型创建的。然而,只要稍加修改,该软件包就可以用于其他SUSY模型。对该软件包进行了测试,并给出了部分结果。