%0 Journal Article %T Computational techniques for proving identities in symmetric compositions %A Pablo Alberca Bjerregaard %A Candido Martin Gonzalez %J Mathematics %D 2007 %I arXiv %X 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. %U http://arxiv.org/abs/0706.1097v1