Computational techniques for proving identities in symmetric compositions

Simple item page
dc.creatorBjerregaard, Pablo Alberca
dc.creatorGonzalez, Candido Martin
dc.date2007-06-07
dc.date.accessioned2026-07-07T08:04:36Z
dc.date.available2026-07-07T08:04:36Z
dc.descriptionWe 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.
dc.description19 pages
dc.identifierhttps://arxiv.org/abs/0706.1097
dc.identifierhttp://arxiv.org/abs/0706.1097
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/130022
dc.subjectRings and Algebras
dc.subject68-04
dc.titleComputational techniques for proving identities in symmetric compositions
dc.typetext

Files

Collections

arXiv