Computational techniques for proving identities in symmetric compositions
From MaRDI portal
Publication:6205847
arXiv0706.1097MaRDI QIDQ6205847
Pablo Alberca Bjerregaard, Cándido Martín González
Publication date: 7 June 2007
This page was built for publication: Computational techniques for proving identities in symmetric compositions