Computational techniques for proving identities in symmetric compositions
From MaRDI portal
Publication:6205847
arXiv0706.1097MaRDI QIDQ6205847FDOQ6205847
Authors: Pablo Alberca Bjerregaard, Candido Martín González 
Publication date: 7 June 2007
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.
This page was built for publication: Computational techniques for proving identities in symmetric compositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6205847)
