Computational techniques for proving identities in symmetric compositions

Pablo Alberca Bjerregaard, Candido Martin Gonzalez

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 ou…