Computational Algebra

Modeling and computational support for problems in modern algebra, discrete mathematics, and algorithmic research.