An example of application of symbolic computation in solid state physics
sum of traces of different matrix products
scientific article; zbMATH DE number 4170450