古迪森

作者描述了一种算法,它能自动地猜想并自动证明扩展{it F}的闭式表达式。J。戴森猜想。数学。物理。3140--156(1962年;Zbl 0105.41604)]。他们注意到该算法完全由Mathematica包GoodDyson.m和类似的Maple包GoodDyson实现,这些包可以从他们的网站上获得。