ПБВ-пары многообразий линейных алгебр и символьные вычисления в свободных алгебрахдоклад на конференции