罗迪奥诺夫，A.Ya。；A.Yu Taranov。 代数表达式简化的组合方面。 （英文） Zbl 1209.68694号 Davenport，James H.（编辑），欧洲'87。1987年6月2日至5日，德国莱比锡欧洲计算机代数会议。诉讼程序。柏林等：Springer-Verlag（ISBN 3-540-51517-8）。计算机科学讲义378192-201（1989）。 摘要：开发计算机代数系统的一种可能方法是对系统进行“教育”。这里的“教育”是指为系统提供处理新数学对象类的能力。张量或更一般地说，多个变量的函数就是这样一个具有实际意义的对象的例子。这些对象的主要特征是我们在实践中遇到的张量（函数）所表现出的对称性，这使得将它们纳入计算机代数系统的问题变得非常重要。包含张量单项式的表达式的简化涉及两个操作：单项式识别和单项式模式匹配。当包含虚拟求和指数时的张量识别问题和当模式有自由变量时的张量式模式匹配问题都可以重新表述为组合问题。第一个问题是置换群的双陪集问题，第二个问题是一般组合对象同构问题的变体。解决上述两个问题的回溯算法基于计算群论中的一些著名思想。简要讨论了一类受限对称群张量识别算法的递推变体及其算法实现。关于整个系列，请参见[Zbl 1209.00079号]. 引用于三文件 MSC公司： 68瓦30 符号计算和代数计算 68T05型 人工智能中的学习和自适应系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Ya.Rodionv}和\textit{A.Yu.Taranov}，Lect。注释计算。科学。378192-201（1989年；Zbl 1209.68694） 全文： 内政部