安德鲁·希尔斯。;多龙·泽尔伯格 扰乱了戴森猜想（以一种好的方式）。 （英语） Zbl 1121.05001号 实验数学。 187-191年第2期第15页（2006年）. 作者描述了一种算法，该算法可以自动推测，然后自动证明封闭表达式的扩展F.J.Dyson的猜想[见《数学物理杂志》3，140-156（1962；Zbl 0105.41604号)]. 他们注意到，该算法完全由Mathematica包GoodDyson.m和类似的Maple包GoodPyson实现，可从他们的网站上获得。审核人：安德烈亚斯·菲利普（帕特拉斯） 引用于6文件 MSC公司： 05-04 与组合学有关的问题的软件、源代码等 引文：Zbl 0105.41604号 软件：GoodDyson公司;数学软件;枫树;猜猜老鼠 PDF格式BibTeX公司 XML格式引用 \textit｛A.V.Sills｝和\textit｛D.Zeilberger｝，实验数学。15，第2号，187--191（2006；Zbl 1121.05001） 全文： 内政部 arXiv公司 欧洲DML