对称合成中证明恒等式的计算技术
环与代数
2007-06-11 v1
摘要
我们在本工作中展示了一个Mathematica笔记本中的完整会话。该笔记本的目的是检验对称合成中的恒等式。该笔记本是我们工作[1]的补充，并包含了所有显式计算。我们建议读者参阅那篇论文，可见于http://www.uibk.ac.at/mathematik/loos/jordan/index.html。首先，我们将展示一些命令，以便通过提取标量SOut来简化恒等式。该策略的其余部分依赖于使用模式和规则的强大功能。
引用
@article{arxiv.0706.1097,
title = {Computational techniques for proving identities in symmetric compositions},
author = {Pablo Alberca Bjerregaard and Candido Martin Gonzalez},
journal= {arXiv preprint arXiv:0706.1097},
year = {2007}
}
评论
19 pages