Mathematics, Research Group on Algorithmic Algebra