Computational aspects of polynomial identities. Kemer's theorems / Volume I, (2015)