埃德蒙·克拉克；赵旭东 结合符号计算和定理证明：Ramanujan的一些问题。 （英语） Zbl 1433.68541号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。814, 758-763 (1994). 关于整个系列，请参见[Zbl 0875.00063号]. 引用于1文件 MSC公司： 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 33层10 特殊函数的符号计算（Gosper和Zeilberger算法等） 68瓦30 符号计算和代数计算 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}和\textit{X.Zhao}，Lect。注释计算。科学。814758--763（1994年；Zbl 1433.68541） 全文： 内政部 链接 参考文献： [1] B.C.Berndt，Ramanujan的笔记本，第一部分，Springer-Verlag，1985年，第25-43页·Zbl 0555.10001号 [2] E.M.Clarke，X.Zhao，《分析——定理证明与符号计算相结合的实验》，技术报告，卡内基梅隆大学计算机科学学院，CMU-CS-92-1471992年10月·Zbl 0916.68143号 [3] E.M.Clarke，X.Zhao，《数学分析——数学定理证明器》，《数学杂志》，第3卷，第1期，1993年，第56-71页。 [4] R.W.Gosper，MACSYMA中的不定超几何和，Proc。MAC-SYMA用户会议，加州伯克利，1977年，第237-252页。 [5] R.L.London和D.R.Musser，《符号数学系统在程序验证中的应用》，技术报告，南加州大学信息科学研究所。 [6] P.Suppes和S.Takahashi，《连续性的交互式微积分定理证明器》，《符号计算杂志》，1989年第7期，第573-590页·Zbl 0679.68174号 [7] T.Walsh、A.Nunes和A.Bundy，《证明计划对级数求和的使用》，Proc。第11届自动扣款国际会议，1992年6月·Zbl 0925.03072号 [8] 美国。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。