Computational techniques for proving identities in symmetric compositions
Rings and Algebras
2007-06-11 v1
Abstract
We present in this work a complete session in a Mathematica notebook. The aim of this notebook is to check identities in symmetric compositions. This notebook is a complement of our work [1] and it has all the explicit computations. We refer the reader to that paper which can be seen in http://www.uibk.ac.at/mathematik/loos/jordan/index.html. First of all we will present a few number of comands in order to simplify identities by extracting scalars, SOut. The rest of the strategy holds on the powerfull of using patterns and rules.
Cite
@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}
}