托比·沃尔什;努内斯，亚历克斯;阿兰·邦迪 使用证明计划求级数的和。 （英语） Zbl 0925.03072号 Kapur，D.（编辑），《自动扣除-CADE-11》。1992年6月15日至18日在美国纽约州萨拉托加泉举行的第十一届国际会议记录。柏林：斯普林格。莱克特。注释计算。科学。607, 325-339 (1992). 关于整个系列，请参见[Zbl 0925.00071号]. 引用于7文件 MSC公司： 03立方厘米35 证明和逻辑运算的机械化 PDF格式BibTeX公司 XML格式引用 \textit{T.Walsh}等人，Lect。注释计算。科学。607325-339（1992年；Zbl 0925.03072）