父亲理查德 计算机代数系统中代数子表达式的分区:与符号积分应用程序匹配的替代方法。 (英文) Zbl 1334.68307号 ACM通信。计算。代数 49,No.2,38-47(2015). MSC公司: 68瓦30 符号计算和代数计算 软件:伊斯兰教;马克西玛;数学软件 PDF格式BibTeX公司 XML格式引用 \textit{R.Fateman},ACM通信。计算。《代数49》,第2期,第38-47页(2015;Zbl 1334.68307) 全文: 内政部 参考文献: [1] 理查德·法特曼(Richard Fateman),“合理简化非理性表达式”,SIGSAM Bulletin,第23期,1972年7月8日至9日。 [2] 乔尔·摩西(Joel Moses),“象征性融合:暴风雨的十年”。ACM,第14卷,第8期(1971年8月)。548–560. ·Zbl 0228.68009号 [3] 阿尔伯特·里奇(Albert Rich),“基于规则的数学”(Rubi)http://www.apmaths.uwo.ca/阿里奇。 [4] James R.Slagle,“解决新生微积分中符号积分问题的启发式程序”,J。ACM第10卷第4期,1963年10月,507–520·Zbl 0113.32801 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。